../ CodeGen/Show human readable types in type errors13 years ago Parser/Fix a kind checking error, add support for 'extern data'13 years ago TypeChecker/Fix a kind checking error, add support for 'extern data'13 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.hsCheck all unknowns become quantified at the top level. Fix row unification bug./13 years ago Values.hsIf-Then-Else expressions13 years ago