Package org.idris.rts

Class Summary

Class	Description
Closure	Closures encapsulate function calls in order to allow tail recursion elimination.
IdrisObject	Idris data types with a constructor function id and references in them.
Prelude	Backend primitives needed for Prelude
PrimFn	Primitive backend functions.