Skip to content
GitLab
Explore
Sign in
Register
v0.99.2
Nicola Botta
@botta
caa56b76
·
Merge branch 'master' of gitlab.pik-potsdam.de:botta/IdrisLibs
·
Nov 15, 2017
Type checks with Idris-dev-0.99.2
