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 |