☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Slambdaeval
module
SL :=
Slambda
val
eval :
SL.program
->
Lambda.program