Idris ben írt könyvtárak
Idris2
Egy tisztán funkcionális programozási nyelv első osztályú típusokkal.
- 2.2k
- GNU General Public License v3.0
order-taking
A Domain Modeling Made Functional Book Idris verziója..
- 127
- GNU General Public License v3.0