Lightfold

Lightfold

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