Tags · Nicola Botta / IdrisLibs · GitLab

Tags give the ability to mark specific points in history as being important

v1.3.3

0927ed60 · Cleanup. · Feb 25, 2021

Release: IdrisLibs v1.3.3

Download source code

zip tar.gz tar.bz2 tar
v0.99.2

caa56b76 · Merge branch 'master' of gitlab.pik-potsdam.de:botta/IdrisLibs · Nov 15, 2017
```
Type checks with Idris-dev-0.99.2
```
Download source code

zip tar.gz tar.bz2 tar