../ CodeGen/Use ArrowPlus instead of Alternative, get rid of strange Alternative instance. S and iota combinator examples. Fix non-terminating pretty-printer issue13 years ago Parser/Guards, named patterns, fixed array patterns13 years ago TypeChecker/Guards, named patterns, fixed array patterns13 years ago CodeGen.hsSome tidying of the code gen module13 years ago Declarations.hsUser defined operators13 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.hsUser defined operators13 years ago Types.hsCheck all unknowns become quantified at the top level. Fix row unification bug./13 years ago Values.hsGuards, named patterns, fixed array patterns13 years ago