idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 01:09:03 +03:00
Code Issues Projects Releases Wiki Activity
3a915943fc
Idris2/libs
History
andylokandy 0d82b5d7da Add System.Path
2020-05-20 22:51:01 +08:00
..
base Add System.Path 2020-05-20 22:51:01 +08:00
contrib Add System.Path 2020-05-20 22:51:01 +08:00
network Update racket bootstrap scripts 2020-05-20 00:03:39 +01:00
prelude Refactor makefiles 2020-05-19 18:50:47 +06:00