Type-preserving compiler in Beluga,
as described in "Programming with higher-order abstract syntax"

cps.bel     : Continuation-passing style
cc.bel      : Closure conversion
cchoist.bel : Closure conversion and hoisting.

Beluga is available online at http://complogic.cs.mcgill.ca/beluga/

To run, execute
|> beluga +coverage [filename]

We recommend to run examples with
|> beluga +coverage -implicit [filename]
to avoid implicit type arguments to term constructors to be printed.
