![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| partiality-monad.ma | 12-Mar-2012 13:04 | 5.7K | |
| _darcs/ | 01-Aug-2012 20:40 | - | |
| VenanziosProblem.agda | 17-May-2010 15:04 | 7.4K | |
| UniverseIndex.agda | 12-May-2011 18:32 | 1.6K | |
| Tree.agda | 20-Oct-2009 17:11 | 1.6K | |
| ThueMorseLeq.agda | 07-Nov-2010 17:47 | 6.2K | |
| ThueMorse.agda | 07-Nov-2010 17:47 | 17K | |
| SubjectReduction.v | 20-Oct-2009 17:11 | 688 | |
| StreamProg.agda | 17-May-2010 15:04 | 5.9K | |
| Stream/ | 04-Oct-2011 10:24 | - | |
| Stream.agda | 16-Feb-2010 20:16 | 236 | |
| SingletonChunks.agda | 07-Oct-2011 12:05 | 8.3K | |
| RecursiveTypes/ | 07-Oct-2011 12:05 | - | |
| RecursiveTypes.agda | 10-Apr-2010 23:36 | 3.1K | |
| README.agda | 12-May-2011 18:32 | 4.8K | |
| Productivity.agda | 12-May-2011 18:32 | 4.4K | |
| Operational-semantic..> | 01-Aug-2012 20:40 | 3.7K | |
| Nested.agda | 10-Apr-2010 23:36 | 8.0K | |
| MuNu.agda | 20-Oct-2009 17:11 | 4.6K | |
| MapIterate.agda | 17-May-2010 15:04 | 4.6K | |
| LargeCombinators.agda | 07-Oct-2011 12:05 | 3.1K | |
| Lambda/ | 01-Aug-2012 20:40 | - | |
| Lambda.agda | 01-Aug-2012 20:40 | 4.6K | |
| LICENCE | 01-Aug-2012 20:40 | 1.0K | |
| InfinitelyOften.agda | 04-Oct-2011 10:24 | 22K | |
| InductiveStreamEqual..> | 13-Mar-2012 19:12 | 3.7K | |
| Hinze/ | 07-Oct-2011 12:05 | - | |
| DataAndCodata.agda | 17-May-2010 15:04 | 2.6K | |
| Contractive/ | 17-May-2010 15:04 | - | |
| Contractive.agda | 17-May-2010 15:04 | 5.8K | |
| BreadthFirstWithoutP..> | 07-Nov-2010 17:47 | 3.2K | |
| BreadthFirst/ | 12-May-2011 18:32 | - | |
| BreadthFirst.agda | 10-Apr-2010 23:36 | 4.8K | |
| ArbitraryChunks.agda | 07-Oct-2011 12:05 | 7.0K | |
| AdmissibleButNotPost..> | 07-Oct-2011 12:05 | 13K | |