Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dktactics
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.2
a85dc907
·
Bump version
·
Apr 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v0.1
8ede9890
·
Add a version file
·
Mar 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar