I

Interpreter

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