Initial version with monadic store
preliminar version with an aspectcabal list haskell-src-exts
Added an aspect for Ref
Deleted a bunch of useless files
Remove lamfa from this repo

Use http://github.com/fmdkdd/lamfa instead
Add notes
Update notes after reading Open Data Types and Open Functions
More notes
Signal instrumented code with `i13n` (instrumentation) comment
Rename Boolean -> Bol and BoolConstant -> Boolean
Add `let` test
Add `Seq` term for sequences

Desugars into dummy let
Add fenton example
Add `deref` and `assign` facet rules
Cleanup and moving code around
Add Show to Terms for debugging
Add `apply` rule and `if` desugaring

Closure functions are created at interpretation time for pretty
printing boolean encodings.

Conflicts:
	LC.hs
Differentiate between `Branch` and `Principal`
Fix indentation
Remove capture of non-exhaustive pattern-matching