../ CodeGen/Introduce saturated type synonyms to allow type synonyms to persist until unification13 years ago Parser/Fix a kind checking error, add support for 'extern data'13 years ago TypeChecker/Introduce saturated type synonyms to allow type synonyms to persist until unification13 years ago CodeGen.hsSome tidying of the code gen module13 years ago Declarations.hsFix a kind checking error, add support for 'extern data'13 years ago Kinds.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Names.hsUser defined operators13 years ago Parser.hsFinally get indentation working13 years ago TypeChecker.hsFix a kind checking error, add support for 'extern data'13 years ago Types.hsIntroduce saturated type synonyms to allow type synonyms to persist until unification13 years ago Values.hsIf-Then-Else expressions13 years ago