Pinned Loading

1. hvm-mode hvm-mode Public

   Emacs major mode for HVM language

   Emacs Lisp

2. HVM3 HVM3 Public

   Forked from HigherOrderCO/HVM3

   HVM3

   Haskell

3. ualc interpreter (reduction semantic... ualc interpreter (reduction semantics, singlestep, cbn) with strong normalization and termination proofs

   1

   open import Agda.Primitive using () renaming (lzero to l0)

   2

   open import Induction.WellFounded using (Acc; acc)

   3

   open import Relation.Binary.Construct.Closure.Transitive

   4

   open import Relation.Binary.PropositionalEquality

   5

   open import Data.Empty using (⊥-elim)