{"ref":null,"master_branch":"master","description":"Attempting to construct a syntax, semantics, virtual machine and compiler from the lambda calculus as a source language to the CEK and Krivine Machine targets.","ref_type":"repository"}