../ CodeGen/Add the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago Parser/Add the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago Pretty/Add the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago Sugar/Add the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago TypeChecker/Add the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago CodeGen.hsMove Optimize.hs into CodeGen module13 years ago Declarations.hsFix some aspects of code gen13 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.hsCodeGen fixes13 years ago Types.hsFix kind checking, code gen for dictionaries13 years ago Unknown.hsFix a bunch of -Wall warnings13 years ago Values.hsAdd the ability to bypass type checking for a term, and therefore fix the ordering problem.13 years ago