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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.