Repository accomodating a bunch of single-file typechecker/interpreter/compiler implementations.
File |
Description |
scala/nbe.sc |
Plain and CPS-transformed NbE lambda calculus interpreters in Scala, along with a performance comparison. Run with scala-cli run nbe.sc -- 1000 5 . |
ocaml/nbe.ml |
NbE interpreters for LC in Ocaml. Run with ocamlbuild ocaml/nbe.native -- . |
File |
Description |
scala/holes.sc |
Basic typechecker for a bare bones dependently typed language using NbE. Based on elaboration-zoo/03-holes. Has no frontend yet, but you can run some examples with scala-cli run scala/holes.sc |