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.
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.