Idris code accompanying the TyDe '18 paper "Typing, Representing, and Abstracting Control".
Compile with:
idris Main.idr -o main
Tested against Idris version 1.3.0.
-
Notifications
You must be signed in to change notification settings - Fork 0
Delimited control effects in Idris
License
b-studios/idris-effekt
About
Delimited control effects in Idris
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published