edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-01 14:27:19 +03:00
Code Issues Projects Releases Wiki Activity
0a15c2cda1
Idris2-boot/libs/prelude
History
Edwin Brady 0a15c2cda1 Pay attention to visibility of names 
Name lookup and search should ignore names which aren't visible (that
is, private names in another namespace)
2019-06-24 00:57:22 +01:00
..
Builtin.idr Some TTC/Delay fixes 2019-06-16 13:47:20 +01:00
Makefile Add missing Makefile 2019-06-19 18:49:53 +01:00
Prelude.idr Pay attention to visibility of names 2019-06-24 00:57:22 +01:00
prelude.ipkg Add missing ipkg 2019-06-19 18:50:46 +01:00
PrimIO.idr The Prelude type checks! 2019-06-13 13:23:21 +01:00