A dependently typed programming language, a successor to Idris
Go to file
2019-04-06 22:40:15 +01:00
sample Initial implementation of data types 2019-04-06 22:40:15 +01:00
src Initial implementation of data types 2019-04-06 22:40:15 +01:00
yaffle.ipkg Unification infrastructure all done 2019-04-06 13:53:59 +01:00