edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-29 15:52:29 +03:00
Code Issues Projects Releases Wiki Activity
050fcfa45a
Idris2-boot/libs
History
Edwin Brady 050fcfa45a
Merge pull request #148 from msmorgan/list-replicate 
Add replicate to base/Data.List.
2019-12-06 10:59:12 +00:00
..
base Merge pull request #148 from msmorgan/list-replicate 2019-12-06 10:59:12 +00:00
network Add --libdir option 2019-09-19 13:04:39 +01:00
prelude Merge branch 'master' of github.com:edwinb/Idris2 2019-11-19 14:07:55 +00:00