edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-30 12:14:17 +03:00
Code Issues Projects Releases Wiki Activity
A dependently typed programming language, a successor to Idris
52 Commits 2 Branches 1 Tag 4.2 MiB
Idris 97.3%
C 1.3%
Scheme 0.6%
Makefile 0.4%
Racket 0.3%
3e03e397c5
Go to file
Edwin Brady 3e03e397c5 Add the rest of RawImp type 
Just has placeholders for the elaboration at the moment, but it's useful
to see what is needed!
2019-05-06 13:19:36 +01:00
sample Check locals are usable (with determining args) 2019-05-06 01:06:24 +01:00
src Add the rest of RawImp type 2019-05-06 13:19:36 +01:00
yaffle.ipkg Initial implementation of auto implicit search 2019-04-27 20:18:53 +01:00