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.

543 Commits
2 Branches
2 Tags
1 Release

README
BSD 2-Clause "Simplified" License

Created on

July 01, 2016

Loading