Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Nicola Botta
IdrisLibs
Tags
v0.99.2
v0.99.2
Nicola Botta
@botta
caa56b76
·
Merge branch 'master' of gitlab.pik-potsdam.de:botta/IdrisLibs
·
Nov 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Type checks with Idris-dev-0.99.2
