edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-26 06:11:50 +03:00
Code Issues Projects Releases Wiki Activity
96ec5f6b3a
Idris2-boot/libs
History
David Smith 96ec5f6b3a Add Data.Morphisms to base
2019-07-18 14:46:59 +01:00
..
base Add Data.Morphisms to base 2019-07-18 14:46:59 +01:00
prelude Add Range interface to prelude 2019-07-11 23:38:25 +02:00