../ Arrays.pursMake tests pass again13 years ago Do.pursMake tests pass again13 years ago Import.pursFix some examples13 years ago KindError.pursFix some examples13 years ago LocalVars.pursMake tests pass again13 years ago ModuleDeps.pursSort modules based on dependencies13 years ago NullaryAbs.pursDon't parse nullary functions13 years ago PatternScope.pursMake tests pass again13 years ago Rank2Types.pursMake tests pass again13 years ago ReadShow.pursFix some examples13 years ago Reserved.pursDisallow reserved names as value names #13613 years ago Shadowed.pursMake tests pass again13 years ago SkolemEscape.pursFix some examples13 years ago TypeClassInstances.pursFix type class issue where instances with missing members were passing the type checker #12613 years ago TypeClasses.pursAdd failing example13 years ago TypeClasses2.pursFix type class instances scope issue13 years ago TypeError.pursMake tests pass again13 years ago TypeSynonyms.pursType synonyms and data type declarations can now depend on each other.13 years ago