krivine-machine topic
List
krivine-machine repositories
lambda-zero
69
Stars
5
Forks
Watchers
minimalist pure lazy functional programming language (pythonic haskell)
Krivine-Machine
38
Stars
3
Forks
Watchers
Abstract krivine machine implementing call-by-name semantics. In OCaml.