on fa44854 help sign in
1 folder, 8 files
../ Constrain/Simplify code to generate record constraints Environment.hsMove the definition of the Signal type out of the compiler and into the Signal library Fragment.hsFix type constraints for case-expressions Inference.hsGet rid of dead code PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsFix possibility of calling `maximum` on empty lists State.hsMake error messages nicer Type.hsAdd ability to collect App1's into a Type constructor Unify.hsMake comparable work fully and clean up code