Add danr's project description
Add a not function example
Add a parser and some stubs for scope analysis of it
First commit on compiling to Erlang

There are some indicies mistakes, mainly because I don't know
what the indicies stand for in the data type (do they match the pdf?).
The semi-adder example compiles to something that looks reasonable
at a first glance, but at a second you will realise that some
identifiers are off.
Rewrite Erlang compilation using foldSeq
Implement Ax rule correctly

This updates the expression datatype slightly
Fix a bug in type substitution
Compile quantifiers
Distinguish between lvalue and rvalue patterns
Simplify translation of quantifiers with smarter channels
Add the prelude with utility functions
Merge branch 'master' of github.com:danr/LL into erlang

Conflicts:
	LL.hs
Add first go at a desugar/type checking pass
Update desugarer/typechecker
Translate quantifiers
Translate exponentials
Check that context is all bang when offering
Add identifier position information
Rewrite some code after hlint pass
Simplify type-checking by matching