Forgot to add LANGUAGE pragmas
Added Eq and Ord instances for Tuple.
Added module to .cabal file
Added Eq and Ord instances for [a]
Eq and Ord instances for Either
Added a bunch of Ord and Eq instances.
Added instance Eq Bool
Noticed that I had to extend the context for (==) because I used `not`, seems a bit bad...
Added Generic.Data.Ord module.
Renamed and to (&&)
Moved Eq to Generic.Data.Eq module
Moved EmptyDataDecls extension from .cabal file to LANGUAGE pragma
Expose all modules in the Generic/AwesomePrelude
Initial checkin of first presentation.
Added a whole bunch of LANGUAGE pragmas.
The cabal file now works! FTW!
Added some LANGUAGE pragmas
Renamed Csharp module.
Expr -> Expression.
Compiler is (for now) JS specific.
Typed compiler pipeline!
Elimination of duplicate definitions.
Definitions don't have explicit main expression. Last definition is a…
True definitions type.
moved some unused code
Primitives now take a function that take a list of free variables to …
…the true body. This function is now only applied at the end (when printing) so we can still alpha-rename these variables.
Replicate function for lists.
Bool eliminator should be lazy!
Eq instances for Js Nums.
Generic closure (without free vars) lifter.
True compiler pipeline.
No more warnings.