edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-02 17:52:09 +03:00
Code Issues Projects Releases Wiki Activity
A dependently typed programming language, a successor to Idris
50 Commits 2 Branches 1 Tag 4.2 MiB
Idris 97.3%
C 1.3%
Scheme 0.6%
Makefile 0.4%
Racket 0.3%
f504ffa777
Go to file
Edwin Brady f504ffa777 Add missing conversion check in application 
This is for the case where the function type is unknown, so we have to
invent one and make sure it unifies
2019-05-05 21:25:30 +01:00
sample Basic TTC saving and loading now works 2019-04-25 14:46:36 +01:00
src Add missing conversion check in application 2019-05-05 21:25:30 +01:00
yaffle.ipkg Initial implementation of auto implicit search 2019-04-27 20:18:53 +01:00