modified for web
ghc 7.4
working supercompilation
new parser, documentation, simpler type (for now)
update
LTS