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
A dependently typed programming language, a successor to Idris
146 Commits 2 Branches 1 Tag 4.2 MiB
Idris 97.3%
C 1.3%
Scheme 0.6%
Makefile 0.4%
Racket 0.3%
8d6b990157
Go to file
Edwin Brady 8d6b990157 No need to evaluate in 'instantiate' 
Types are generated from the environment, and we only want to know how
many arguments there are
2019-06-16 15:24:52 +01:00
libs Some TTC/Delay fixes 2019-06-16 13:47:20 +01:00
sample Check locals are usable (with determining args) 2019-05-06 01:06:24 +01:00
src No need to evaluate in 'instantiate' 2019-06-16 15:24:52 +01:00
support Add compiler support files 2019-06-02 17:31:59 +01:00
tests Block reduction of private/export names 2019-06-15 16:10:01 +01:00
idris2.ipkg Update makefiles and paths 2019-06-13 16:53:16 +01:00
Makefile Add 'base' libraries 2019-06-15 11:54:22 +01:00
tests.ipkg Added test framework (copied from Blodwen) 2019-05-07 10:43:02 +01:00