![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| simple.agda | 2009-06-08 09:56 | 2.7K | |
| qsort.agda | 2009-06-08 09:56 | 1.5K | |
| proofIrr.agda | 2009-06-08 09:56 | 245 | |
| para.agda | 2009-06-08 09:56 | 461 | |
| optionsPragma.agda | 2009-06-08 09:56 | 213 | |
| local.agda | 2009-06-08 09:56 | 376 | |
| list.agda | 2009-06-08 09:56 | 207 | |
| builtinInModule.agda | 2009-06-08 09:56 | 140 | |
| builtin.agda | 2009-06-08 09:56 | 3.8K | |
| WithInWhere.agda | 2009-06-08 09:56 | 426 | |
| WithInParModule.agda | 2009-06-08 09:56 | 528 | |
| Whitespace.agda | 2009-06-08 09:56 | 213 | |
| Using.agda | 2009-06-08 09:56 | 254 | |
| UnusedNamedImplicits..> | 2009-06-08 09:56 | 924 | |
| TopLevelImport.agda | 2009-06-08 09:56 | 96 | |
| TerminationTupledAck..> | 2009-06-08 09:56 | 498 | |
| TerminationMixingTup..> | 2009-06-08 09:56 | 330 | |
| TerminationListInser..> | 2009-06-08 09:56 | 1.4K | |
| TerminationArgumentS..> | 2009-06-08 09:56 | 1.1K | |
| SplitOnDotPattern.agda | 2009-06-08 09:56 | 523 | |
| Shadow.agda | 2009-06-08 09:56 | 103 | |
| Rose.agda | 2009-06-08 09:56 | 970 | |
| ReducingConstructors..> | 2009-06-08 09:56 | 311 | |
| RecordsAndModules.agda | 2009-06-08 09:56 | 420 | |
| RecordInParModule.agda | 2009-06-08 09:56 | 259 | |
| Printf.agda | 2009-06-08 09:56 | 3.0K | |
| PostponedUnification..> | 2009-06-08 09:56 | 783 | |
| PostponedTypeCheckin..> | 2009-06-08 09:56 | 483 | |
| Positivity.agda | 2009-06-08 09:56 | 578 | |
| PosFunction.agda | 2009-06-08 09:56 | 593 | |
| Point.agda | 2009-06-08 09:56 | 494 | |
| PiInSet.agda | 2009-06-08 09:56 | 675 | |
| Parity.agda | 2009-06-08 09:56 | 816 | |
| OverloadedConstructo..> | 2009-06-08 09:56 | 392 | |
| OverloadedConInParam..> | 2009-06-08 09:56 | 173 | |
| Operators.agda | 2009-06-08 09:56 | 851 | |
| OpenPublicTerminatio..> | 2009-06-08 09:56 | 339 | |
| OpenModuleShortHand...> | 2009-06-08 09:56 | 293 | |
| NoUniverseCheck.agda | 2009-06-08 09:56 | 382 | |
| NestedInj.agda | 2009-06-08 09:56 | 662 | |
| Nat.agda | 2009-06-08 09:56 | 74 | |
| NamedWhere.agda | 2009-06-08 09:56 | 522 | |
| NamedImplicit.agda | 2009-06-08 09:56 | 628 | |
| ModuleInstInLet.agda | 2009-06-08 09:56 | 257 | |
| Makefile | 2009-06-08 09:56 | 577 | |
| MagicWith.agda | 2009-06-08 09:56 | 763 | |
| LocalOpenImplicit.agda | 2009-06-08 09:56 | 198 | |
| Literate.lagda | 2009-06-08 09:56 | 327 | |
| LitDistinct.agda | 2009-06-08 09:56 | 204 | |
| LetLHS.agda | 2009-06-08 09:56 | 208 | |
| Lambda.agda | 2009-06-08 09:56 | 2.2K | |
| JMEq.agda | 2009-06-08 09:56 | 187 | |
| Issue89.agda | 2009-06-08 09:56 | 2.0K | |
| Issue84.agda | 2009-06-08 09:56 | 268 | |
| Issue81.agda | 2009-06-08 09:56 | 231 | |
| Issue49.agda | 2009-06-08 09:56 | 131 | |
| Issue34.agda | 2009-06-08 09:56 | 332 | |
| Issue31.agda | 2009-06-08 09:56 | 459 | |
| Issue26.agda | 2009-06-08 09:56 | 386 | |
| Injectivity.agda | 2009-06-08 09:56 | 1.0K | |
| InfixRecordFields.agda | 2009-06-08 09:56 | 652 | |
| IndexOnBuiltin.agda | 2009-06-08 09:56 | 312 | |
| IndexInference.agda | 2009-06-08 09:56 | 325 | |
| Hurkens.agda | 2009-06-08 09:56 | 815 | |
| ForallForParameters...> | 2009-06-08 09:56 | 402 | |
| Filter.agda | 2009-06-08 09:56 | 779 | |
| FancyRecordModule.agda | 2009-06-08 09:56 | 528 | |
| Exist.agda | 2009-06-08 09:56 | 744 | |
| EqTest.agda | 2009-06-08 09:56 | 458 | |
| DotPatternTerminatio..> | 2009-06-08 09:56 | 1.3K | |
| Div2.agda | 2009-06-08 09:56 | 708 | |
| Div.agda | 2009-06-08 09:56 | 688 | |
| DigitsInNames.agda | 2009-06-08 09:56 | 76 | |
| DefinitionalEquality..> | 2009-06-08 09:56 | 658 | |
| Bush.agda | 2009-06-08 09:56 | 1.2K | |
| Berry.agda | 2009-06-08 09:56 | 282 | |
| AbsurdPattern.agda | 2009-06-08 09:56 | 196 | |