Skip to content

GitLab

Explore

Sign in
Register

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

Copy SSH clone URLgit@git.eisfunke.com:software/lightfold/lightfold.git
Copy HTTPS clone URLhttps://git.eisfunke.com/software/lightfold/lightfold.git