../ Arrays.pursFix some examples13 years ago Do.pursDo notation13 years ago Import.pursFix some examples13 years ago KindError.pursFix some examples13 years ago LocalVars.pursFix some examples13 years ago ModuleDeps.pursSort modules based on dependencies13 years ago PatternScope.pursFix some examples13 years ago Rank2Types.pursFix some examples13 years ago ReadShow.pursFix some examples13 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.pursFix some examples13 years ago TypeSynonyms.pursType synonyms and data type declarations can now depend on each other.13 years ago