C

Compiler

The algebraic proof-of-concept compiler for Lightfold written in Haskell.