Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.3
f255878e
·
Add some type annotation on lambdas to help dedukti type check the generated terms
·
Feb 02, 2018
v0.2
a85dc907
·
Bump version
·
Apr 15, 2017
v0.1
8ede9890
·
Add a version file
·
Mar 09, 2017