![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AbsurdPatternRequire..> | 2009-06-08 09:56 | 120 | |
| AbsurdPatternRequire..> | 2009-06-08 09:56 | 207 | |
| AmbiguousModule.agda | 2009-06-08 09:56 | 93 | |
| AmbiguousModule.err | 2009-06-08 09:56 | 170 | |
| AmbiguousName.agda | 2009-06-08 09:56 | 161 | |
| AmbiguousName.err | 2009-06-08 09:56 | 168 | |
| AmbiguousParseForApp..> | 2009-06-08 09:56 | 243 | |
| AmbiguousParseForApp..> | 2009-06-08 09:56 | 241 | |
| AmbiguousParseForLHS..> | 2009-06-08 09:56 | 263 | |
| AmbiguousParseForLHS..> | 2009-06-08 09:56 | 301 | |
| BuiltinInParameteris..> | 2009-06-08 09:56 | 200 | |
| BuiltinInParameteris..> | 2009-06-08 09:56 | 215 | |
| BuiltinMustBeConstru..> | 2009-06-08 09:56 | 141 | |
| BuiltinMustBeConstru..> | 2009-06-08 09:56 | 142 | |
| ClashingDefinition.agda | 2009-06-08 09:56 | 136 | |
| ClashingDefinition.err | 2009-06-08 09:56 | 171 | |
| ClashingFileNamesFor..> | 2009-06-08 09:56 | 189 | |
| ClashingFileNamesFor..> | 2009-06-08 09:56 | 209 | |
| ClashingFileNamesFor..> | 2009-06-08 09:56 | 26 | |
| ClashingImport.agda | 2009-06-08 09:56 | 116 | |
| ClashingImport.err | 2009-06-08 09:56 | 169 | |
| ClashingImport.flags | 2009-06-08 09:56 | 9 | |
| ClashingModule.agda | 2009-06-08 09:56 | 111 | |
| ClashingModule.err | 2009-06-08 09:56 | 168 | |
| ClashingModuleImport..> | 2009-06-08 09:56 | 81 | |
| ClashingModuleImport..> | 2009-06-08 09:56 | 205 | |
| CyclicModuleDependen..> | 2009-06-08 09:56 | 68 | |
| CyclicModuleDependen..> | 2009-06-08 09:56 | 186 | |
| CyclicModuleDependen..> | 2009-06-08 09:56 | 9 | |
| DifferentArities.agda | 2009-06-08 09:56 | 157 | |
| DifferentArities.err | 2009-06-08 09:56 | 130 | |
| DuplicateBuiltinBind..> | 2009-06-08 09:56 | 116 | |
| DuplicateBuiltinBind..> | 2009-06-08 09:56 | 158 | |
| DuplicateConstructor..> | 2009-06-08 09:56 | 92 | |
| DuplicateConstructor..> | 2009-06-08 09:56 | 153 | |
| DuplicateFields.agda | 2009-06-08 09:56 | 133 | |
| DuplicateFields.err | 2009-06-08 09:56 | 132 | |
| FileNotFound.agda | 2009-06-08 09:56 | 44 | |
| FileNotFound.err | 2009-06-08 09:56 | 262 | |
| IlltypedPattern.agda | 2009-06-08 09:56 | 127 | |
| IlltypedPattern.err | 2009-06-08 09:56 | 95 | |
| ImportInMutual.agda | 2009-06-08 09:56 | 163 | |
| ImportInMutual.err | 2009-06-08 09:56 | 85 | |
| Imports/ | 2009-06-08 09:56 | - | |
| IncompletePatternMat..> | 2009-06-08 09:56 | 260 | |
| IncompletePatternMat..> | 2009-06-08 09:56 | 179 | |
| LocalVsImportedModul..> | 2009-06-08 09:56 | 109 | |
| LocalVsImportedModul..> | 2009-06-08 09:56 | 259 | |
| LocalVsImportedModul..> | 2009-06-08 09:56 | 9 | |
| MetaCannotDependOn.agda | 2009-06-08 09:56 | 217 | |
| MetaCannotDependOn.err | 2009-06-08 09:56 | 180 | |
| MetaOccursInItself.agda | 2009-06-08 09:56 | 228 | |
| MetaOccursInItself.err | 2009-06-08 09:56 | 149 | |
| MissingDefinition.agda | 2009-06-08 09:56 | 48 | |
| MissingDefinition.err | 2009-06-08 09:56 | 61 | |
| MissingTypeSignature..> | 2009-06-08 09:56 | 129 | |
| MissingTypeSignature..> | 2009-06-08 09:56 | 92 | |
| MissingWithClauses.agda | 2009-06-08 09:56 | 83 | |
| MissingWithClauses.err | 2009-06-08 09:56 | 73 | |
| ModuleArityMismatch...> | 2009-06-08 09:56 | 105 | |
| ModuleArityMismatch.err | 2009-06-08 09:56 | 153 | |
| ModuleDoesntExport.agda | 2009-06-08 09:56 | 115 | |
| ModuleDoesntExport.err | 2009-06-08 09:56 | 178 | |
| ModuleInMutual.agda | 2009-06-08 09:56 | 212 | |
| ModuleInMutual.err | 2009-06-08 09:56 | 77 | |
| ModuleNameDoesntMatc..> | 2009-06-08 09:56 | 63 | |
| ModuleNameDoesntMatc..> | 2009-06-08 09:56 | 210 | |
| ModuleNameDoesntMatc..> | 2009-06-08 09:56 | 9 | |
| MultipleFixityDecl.agda | 2009-06-08 09:56 | 98 | |
| MultipleFixityDecl.err | 2009-06-08 09:56 | 180 | |
| NoBindingForBuiltin...> | 2009-06-08 09:56 | 44 | |
| NoBindingForBuiltin.err | 2009-06-08 09:56 | 179 | |
| NoParseForApplicatio..> | 2009-06-08 09:56 | 167 | |
| NoParseForApplicatio..> | 2009-06-08 09:56 | 103 | |
| NoParseForLHS.agda | 2009-06-08 09:56 | 171 | |
| NoParseForLHS.err | 2009-06-08 09:56 | 159 | |
| NoRHSRequiresAbsurdP..> | 2009-06-08 09:56 | 250 | |
| NoRHSRequiresAbsurdP..> | 2009-06-08 09:56 | 218 | |
| NoSuchBuiltinName.agda | 2009-06-08 09:56 | 77 | |
| NoSuchBuiltinName.err | 2009-06-08 09:56 | 120 | |
| NoSuchModule.agda | 2009-06-08 09:56 | 34 | |
| NoSuchModule.err | 2009-06-08 09:56 | 93 | |
| NoSuchPrimitiveFunct..> | 2009-06-08 09:56 | 82 | |
| NoSuchPrimitiveFunct..> | 2009-06-08 09:56 | 154 | |
| NotAModuleExpr.agda | 2009-06-08 09:56 | 165 | |
| NotAModuleExpr.err | 2009-06-08 09:56 | 226 | |
| NotAValidLetBinding...> | 2009-06-08 09:56 | 235 | |
| NotAValidLetBinding.err | 2009-06-08 09:56 | 160 | |
| NotAnExpression.agda | 2009-06-08 09:56 | 194 | |
| NotAnExpression.err | 2009-06-08 09:56 | 90 | |
| NotInScope.agda | 2009-06-08 09:56 | 154 | |
| NotInScope.err | 2009-06-08 09:56 | 128 | |
| NotLeqSort.agda | 2009-06-08 09:56 | 73 | |
| NotLeqSort.err | 2009-06-08 09:56 | 213 | |
| NotStrictlyPositive...> | 2009-06-08 09:56 | 221 | |
| NotStrictlyPositive.err | 2009-06-08 09:56 | 308 | |
| NotStrictlyPositiveI..> | 2009-06-08 09:56 | 163 | |
| NotStrictlyPositiveI..> | 2009-06-08 09:56 | 182 | |
| NothingAppliedToHidd..> | 2009-06-08 09:56 | 51 | |
| NothingAppliedToHidd..> | 2009-06-08 09:56 | 172 | |
| OpenInMutual.agda | 2009-06-08 09:56 | 175 | |
| OpenInMutual.err | 2009-06-08 09:56 | 82 | |
| PostulateInMutual.agda | 2009-06-08 09:56 | 161 | |
| PostulateInMutual.err | 2009-06-08 09:56 | 82 | |
| PragmaInMutual.agda | 2009-06-08 09:56 | 227 | |
| PragmaInMutual.err | 2009-06-08 09:56 | 76 | |
| PrimitiveInMutual.agda | 2009-06-08 09:56 | 311 | |
| PrimitiveInMutual.err | 2009-06-08 09:56 | 95 | |
| PropMustBeSingleton...> | 2009-06-08 09:56 | 150 | |
| PropMustBeSingleton.err | 2009-06-08 09:56 | 164 | |
| RecordInMutual.agda | 2009-06-08 09:56 | 161 | |
| RecordInMutual.err | 2009-06-08 09:56 | 82 | |
| RepeatedVariableInPa..> | 2009-06-08 09:56 | 67 | |
| RepeatedVariableInPa..> | 2009-06-08 09:56 | 152 | |
| ShadowModule.agda | 2009-06-08 09:56 | 107 | |
| ShadowModule.err | 2009-06-08 09:56 | 167 | |
| ShouldBeASort.agda | 2009-06-08 09:56 | 91 | |
| ShouldBeASort.err | 2009-06-08 09:56 | 161 | |
| ShouldBeApplicationO..> | 2009-06-08 09:56 | 135 | |
| ShouldBeApplicationO..> | 2009-06-08 09:56 | 133 | |
| ShouldBeAppliedToThe..> | 2009-06-08 09:56 | 236 | |
| ShouldBeAppliedToThe..> | 2009-06-08 09:56 | 182 | |
| ShouldBeEmpty.agda | 2009-06-08 09:56 | 134 | |
| ShouldBeEmpty.err | 2009-06-08 09:56 | 167 | |
| ShouldBePi.agda | 2009-06-08 09:56 | 137 | |
| ShouldBePi.err | 2009-06-08 09:56 | 121 | |
| ShouldEndInApplicati..> | 2009-06-08 09:56 | 227 | |
| ShouldEndInApplicati..> | 2009-06-08 09:56 | 241 | |
| TooFewFields.agda | 2009-06-08 09:56 | 104 | |
| TooFewFields.err | 2009-06-08 09:56 | 135 | |
| TooManyArgumentsInLH..> | 2009-06-08 09:56 | 63 | |
| TooManyArgumentsInLH..> | 2009-06-08 09:56 | 174 | |
| TooManyFields.agda | 2009-06-08 09:56 | 124 | |
| TooManyFields.err | 2009-06-08 09:56 | 146 | |
| UnequalHiding.agda | 2009-06-08 09:56 | 140 | |
| UnequalHiding.err | 2009-06-08 09:56 | 274 | |
| UnequalSorts.agda | 2009-06-08 09:56 | 119 | |
| UnequalSorts.err | 2009-06-08 09:56 | 97 | |
| UnequalTerms.agda | 2009-06-08 09:56 | 152 | |
| UnequalTerms.err | 2009-06-08 09:56 | 109 | |
| UninstantiatedDotPat..> | 2009-06-08 09:56 | 74 | |
| UninstantiatedDotPat..> | 2009-06-08 09:56 | 134 | |
| UnknownNameInFixityD..> | 2009-06-08 09:56 | 67 | |
| UnknownNameInFixityD..> | 2009-06-08 09:56 | 95 | |
| UnsolvedMetas.agda | 2009-06-08 09:56 | 38 | |
| UnsolvedMetas.err | 2009-06-08 09:56 | 145 | |
| UnsolvedMetasInImpor..> | 2009-06-08 09:56 | 61 | |
| UnsolvedMetasInImpor..> | 2009-06-08 09:56 | 216 | |
| UnsolvedMetasInImpor..> | 2009-06-08 09:56 | 9 | |
| WrongHidingInApplica..> | 2009-06-08 09:56 | 123 | |
| WrongHidingInApplica..> | 2009-06-08 09:56 | 208 | |
| WrongHidingInLHS.agda | 2009-06-08 09:56 | 58 | |
| WrongHidingInLHS.err | 2009-06-08 09:56 | 163 | |
| WrongHidingInLambda...> | 2009-06-08 09:56 | 76 | |
| WrongHidingInLambda.err | 2009-06-08 09:56 | 177 | |
| WrongNumberOfConstru..> | 2009-06-08 09:56 | 153 | |
| WrongNumberOfConstru..> | 2009-06-08 09:56 | 167 | |