Typelevel

Experiments in the realm of typelevel Purescript computation.

File structure

File	Description
Ast.purs	Typelevel sum-types and a bit of typelevel parsing
Num.purs	Typelevel naturals
Vec.purs	Typelevel fixed-size lists
Ordering.purs	Typelevel orderings
Term.purs	Typelevel lambda-calculus evaluation
Fin.purs	Bounded naturals using a GADT representation