~cypheon/idris2-cps

Transform to CPS IR for Idris2
2d59a08d — Johann Rudloff 2 years ago
Fix CPS transformation of `Delay`
da9957e4 — Johann Rudloff 2 years ago
Use new well-scoped CPS IR in example codegen
1d4202b3 — Johann Rudloff 2 years ago
Add a new, well-scoped CPS IR (indexed over the names in scope)

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~cypheon/idris2-cps
read/write
git@git.sr.ht:~cypheon/idris2-cps

You can also use your local clone with git send-email.