idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 01:01:59 +03:00
Code Issues Projects Releases Wiki Activity
cff5fc2625
Idris2/libs/base
History
Edwin Brady cff5fc2625 Workaround for byte vectors in Racket 
Racket appears to have a different notion of current directory than the
system does, so we need to tell it which directory we think we're in
when reading and writing bytevectors using the scheme file functions.
2020-05-23 21:37:31 +01:00
..
Control Add libraries 2020-05-18 14:00:08 +01:00
Data Workaround for byte vectors in Racket 2020-05-23 21:37:31 +01:00
Debug Add libraries 2020-05-18 14:00:08 +01:00
Decidable Add libraries 2020-05-18 14:00:08 +01:00
Language Add Reflection to base 2020-05-18 16:57:43 +01:00
System Update libraries from upstream 2020-05-19 17:03:18 +01:00
base.ipkg Move System.Clock from 'contrib' to 'base' 2020-05-21 17:00:09 +06:00
Makefile Refactor makefiles 2020-05-19 18:50:47 +06:00
System.idr Add libraries 2020-05-18 14:00:08 +01:00