Skip to content

GitLab

Explore

Sign in

Lightfold

Project information

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

74 Commits
1 Branch
2 Tags

README
GNU GPLv3

Created on

October 24, 2019

Loading