../ CodeGen/Starting work on replacing type class dictionary placeholders13 years ago Parser/Generate type class dictionary placeholders13 years ago Pretty/Starting work on replacing type class dictionary placeholders13 years ago Sugar/Generate typeclass dictionary names13 years ago TypeChecker/Generate typeclass dictionary names13 years ago CodeGen.hsMove Optimize.hs into CodeGen module13 years ago Declarations.hsAdd contexts to instance declarations13 years ago Kinds.hsFirst work on the Eff monad13 years ago Names.hsStill more work on mutually recursive functions, still need to fix examples13 years ago Options.hsAdd --run-main option13 years ago Parser.hsSanitize some modules13 years ago Pretty.hsCreate a Javascript AST type, and separate generation and pretty printing.13 years ago Scope.hsFix some bugs, including an issue with overenthusiastic inlining of variables.13 years ago Sugar.hsShow (Data a) example13 years ago TypeChecker.hsBasic implementation of the entails relation13 years ago Types.hsFix kind checking, code gen for dictionaries13 years ago Unknown.hsFix a bunch of -Wall warnings13 years ago Values.hsBasic implementation of the entails relation13 years ago