The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
