markuspf/Yaffle
markuspf/Yaffle
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
158 commits 2 branches 0 tags 2.9 MiB
Find a file
Exact
Markus Pfeiffer 80ede2cef9
 Add some modules to ipkg
2022-12-06 20:21:39 +00:00
.github/workflows Test with Idris 2 v0.6.0 2022-10-28 15:45:29 +01:00
src Unify result of delayed elaborator 2022-12-06 09:50:30 +00:00
support More things we need for getting evaluation working 2022-03-28 14:03:20 +01:00
tests Unify result of delayed elaborator 2022-12-06 09:50:30 +00:00
.gitignore Add an executable to yaffle.ipkg 2022-04-30 19:42:49 +01:00
CONTRIBUTING.md Add :di at the REPL 2022-12-05 17:45:20 +00:00
CONVENTIONS.md Add indentation convention 2022-04-22 17:09:19 +01:00
Makefile Add the other basic tests 2022-06-10 13:21:39 +01:00
README.md Add GitHub Actions support (#10) 2022-08-29 09:56:14 +01:00
yaffle.ipkg Add some modules to ipkg 2022-12-06 20:21:39 +00:00

README.md

Yaffle

Yaffle

A core language of quantitative dependent types and an elaborator for an intermediate language, and an API, intended as a core language for dependently typed languages (primarily, and initially, for Idris 2).