../ CodeGen/Separate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Parser/Separate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago TypeChecker/Separate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago CodeGen.hsSome tidying of the code gen module13 years ago Declarations.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Kinds.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Parser.hsInitial add13 years ago TypeChecker.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Types.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago Values.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.13 years ago