edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-02 01:32:54 +03:00
Code Issues Projects Releases Wiki Activity
A dependently typed programming language, a successor to Idris
132 Commits 2 Branches 1 Tag 4.2 MiB
Idris 97.3%
C 1.3%
Scheme 0.6%
Makefile 0.4%
Racket 0.3%
94cc2a0d4c
Go to file
Edwin Brady 94cc2a0d4c Store type search hints separately 
If we store them on the type constructor, we're required to have the
construction available, which might not be the case when reloading ttcs,
because we load and process modules *before* things they import.
2019-06-10 16:11:32 +01:00
sample Check locals are usable (with determining args) 2019-05-06 01:06:24 +01:00
src Store type search hints separately 2019-06-10 16:11:32 +01:00
support Add compiler support files 2019-06-02 17:31:59 +01:00
tests Some fixes for as patterns, add them implicitly 2019-06-09 23:12:11 +01:00
idris2.ipkg Change main program to be Idris2 2019-06-09 11:58:29 +01:00
Makefile Change main program to be Idris2 2019-06-09 11:58:29 +01:00
tests.ipkg Added test framework (copied from Blodwen) 2019-05-07 10:43:02 +01:00