JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
228,670 Commits 2 Branches 0 Tags 12 GiB
167391c20e
Commit Graph

2 Commits

Author SHA1 Message Date
wchresta
7fc97cf30b idris2: 0.2.0-840e020 -> 0.2.0 
* Upgrade to release version of idris2
* Add config for proper testing phase
 2020-05-26 18:38:54 -04:00
wchresta
074c9cbe1c idris2: init at version 0.2.0-840e020 
A purely functional programming language with first class types
 2020-05-23 12:54:27 -04:00