![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FingerTree3.agda | 2012-03-20 14:49 | 15K | |
| AVL.agda | 2011-12-13 12:27 | 15K | |
| FingerTree.agda | 2012-03-29 10:49 | 14K | |
| BUG2-FingerTree3.agda | 2012-03-20 14:49 | 14K | |
| old-FingerTree3.agda | 2012-03-20 14:49 | 13K | |
| Bin.agda | 2011-12-13 12:27 | 11K | |
| Colist.agda | 2012-03-06 11:45 | 9.4K | |
| FingerTree2.agda-darcs-backup0 | 2012-03-29 10:49 | 9.1K | |
| FingerTree2.agda | 2012-03-20 14:49 | 9.1K | |
| List.agda | 2012-03-06 11:45 | 8.7K | |
| Container.agda | 2011-12-13 12:27 | 8.4K | |
| FingerTree.agda-darcs-backup0 | 2012-03-29 10:49 | 8.2K | |
| Integer.agda | 2012-01-10 11:55 | 6.9K | |
| Vec.agda | 2011-12-13 12:27 | 6.9K | |
| Nat.agda | 2012-01-10 11:55 | 6.7K | |
| Fin.agda | 2011-12-13 12:27 | 5.5K | |
| Maybe.agda | 2011-12-13 12:27 | 5.2K | |
| Covec.agda | 2011-12-13 12:27 | 4.8K | |
| Star.agda | 2011-12-13 12:27 | 4.6K | |
| Stream.agda | 2011-12-13 12:27 | 4.3K | |
| Rational.agda | 2011-12-13 12:27 | 3.9K | |
| Digit.agda | 2012-08-01 13:48 | 3.6K | |
| Product.agda | 2011-12-13 12:27 | 3.2K | |
| Plus.agda | 2011-12-13 12:27 | 2.8K | |
| String.agda | 2011-12-13 12:27 | 2.3K | |
| BoundedVec.agda | 2011-12-13 12:27 | 2.1K | |
| Unit.agda | 2011-12-13 12:27 | 1.9K | |
| Bool.agda | 2011-12-13 12:27 | 1.7K | |
| DifferenceList.agda | 2011-12-13 12:27 | 1.7K | |
| Sum.agda | 2011-12-13 12:27 | 1.6K | |
| DifferenceVec.agda | 2011-12-13 12:27 | 1.6K | |
| Conat.agda | 2011-12-13 12:27 | 1.5K | |
| Char.agda | 2011-12-13 12:27 | 1.4K | |
| ReflexiveClosure.agda | 2011-12-13 12:27 | 1.4K | |
| Cofin.agda | 2011-12-13 12:27 | 1.3K | |
| BUG-FingerTree3.agda | 2012-03-21 23:55 | 857 | |
| W.agda | 2011-12-13 12:27 | 846 | |
| DifferenceNat.agda | 2011-12-13 12:27 | 724 | |
| Sign.agda | 2011-12-13 12:27 | 695 | |
| Empty.agda | 2011-12-13 12:27 | 400 | |
| Vec/ | 2011-12-13 12:27 | - | |
| Unit/ | 2011-12-13 12:27 | - | |
| Star/ | 2011-12-13 12:27 | - | |
| Sign/ | 2011-12-13 12:27 | - | |
| Product/ | 2011-12-13 12:27 | - | |
| Nat/ | 2012-04-02 10:27 | - | |
| Maybe/ | 2011-12-13 12:27 | - | |
| List/ | 2011-12-13 12:27 | - | |
| Integer/ | 2012-01-10 11:55 | - | |
| Graph/ | 2011-12-13 12:27 | - | |
| Fin/ | 2011-12-13 12:27 | - | |
| Container/ | 2011-12-13 12:27 | - | |
| BoundedVec/ | 2011-12-13 12:27 | - | |
| Bool/ | 2011-12-13 12:27 | - | |
| AVL/ | 2011-12-13 12:27 | - | |