IdrisLibs

Project information

Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.

539 Commits
2 Branches
2 Tags
1 Release

README
BSD 2-Clause "Simplified" License

Created on

July 01, 2016

Copy SSH clone URLgit@gitlab.pik-potsdam.de:botta/IdrisLibs.git
Copy HTTPS clone URLhttps://gitlab.pik-potsdam.de/botta/IdrisLibs.git

Loading