We’ll try to keep that version now… :)
Added MuRef instance.
New way of dealing with sub-expressions.
Interesting AST now, but we still have type issues…
Added FIXME.
Added Fractional instance. Made some constructor one-expr only.
Added Floating instance.
Floating.
Introduced bind function for type-safety.
Let is not that bad now.
Added nice support for lambda application.
Variable names.
Let is now inspectable!
Typo.