Tags · Nicola Botta / IdrisLibs · GitLab

Gitlab and Mattermost will be OFFLINE from Tuesday 13.06 16:00 to Wednesday 14.06 06:00 for maintenance. Changes pushed to the server during this time WILL BE LOST

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