Stars
ocaml langs implementaions
5 repositories
Implementations of several variants of the lambda calculus.
Working through Erick Tryzelaar's LLVM tutorial