![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Agda-2.3.3.tar.gz | 10-May-2013 01:36 | 727K | |
| Agda/ | 01-May-2012 16:27 | - | |
| All.agda | 20-May-2013 14:36 | 1.0K | |
| Arrow.agda | 01-May-2012 16:27 | 12K | |
| BrainFuck.hs | 01-May-2012 16:27 | 2.7K | |
| CoSTLC.agda | 01-May-2012 16:27 | 5.6K | |
| DebianSolver.hs | 01-May-2012 16:27 | 9.2K | |
| DepNobby.agda | 02-May-2012 18:15 | 5.8K | |
| EmptyF.agda | 01-May-2012 16:27 | 1.4K | |
| Eq.agda | 01-May-2012 16:27 | 792 | |
| Fold.agda | 01-May-2012 16:27 | 2.4K | |
| Foo.agda | 01-May-2012 16:27 | 662 | |
| Free.agda | 31-Dec-2012 00:22 | 5.0K | |
| Functor.agda | 01-May-2012 16:27 | 2.2K | |
| GenSyntax.agda | 01-May-2012 16:27 | 2.9K | |
| HFree.hs | 02-Feb-2013 22:36 | 1.1K | |
| INSTALL | 16-Oct-2012 21:01 | 251 | |
| IR.agda | 04-Jun-2013 13:42 | 4.3K | |
| Iteratee.agda | 01-May-2012 16:27 | 4.5K | |
| IxSetTyped.hs | 01-May-2012 16:27 | 5.5K | |
| LC/ | 01-May-2012 16:27 | - | |
| LICENSE | 16-Oct-2012 21:01 | 1.0K | |
| NatCat.agda | 01-May-2012 16:27 | 2.2K | |
| Nobby2.agda | 30-Dec-2012 01:10 | 3.1K | |
| PP/ | 18-Sep-2012 14:46 | - | |
| Prepose.hs | 01-May-2012 16:27 | 8.7K | |
| Regular.agda | 01-May-2012 16:27 | 3.3K | |
| RegularTypes.agda | 01-May-2012 16:27 | 1.5K | |
| ST.agda | 01-May-2012 16:27 | 4.1K | |
| ST/ | 01-May-2012 16:27 | - | |
| STLCJ.agda | 01-May-2012 16:27 | 1.1K | |
| Setup.hs | 16-Oct-2012 21:01 | 1.6K | |
| SystemFpred.agda | 01-May-2012 16:27 | 5.0K | |
| Test.agda | 28-May-2012 18:46 | 1.2K | |
| TypeInType.agda | 01-May-2012 16:27 | 783 | |
| TypeIndexedProduct.core.hs | 01-May-2012 16:27 | 17K | |
| UCodes.agda | 01-May-2012 16:27 | 642 | |
| Uncurry.hs | 01-May-2012 16:27 | 2.6K | |
| Univ.agda | 01-May-2012 16:27 | 4.3K | |
| WellTypedTerms.agda | 03-May-2012 06:14 | 6.4K | |
| Xorg.0.log | 26-Jul-2012 14:44 | 15K | |
| _darcs/ | 16-Oct-2012 21:01 | - | |
| abstract | 20-Dec-2012 19:23 | 804 | |
| add-other_modules.dpatch | 01-May-2012 16:27 | 2.5K | |
| agda-intro.pdf | 19-Mar-2013 15:50 | 58K | |
| avoid-termination_checking-non_recursive-definitions_.dpatch | 18-May-2013 01:28 | 37K | |
| bisim/ | 01-May-2012 16:27 | - | |
| bisimulation/ | 01-May-2012 16:27 | - | |
| cabal-backup/ | 01-May-2012 16:27 | - | |
| cabal-noconfusion/ | 01-May-2012 16:27 | - | |
| cabal/ | 01-May-2012 16:27 | - | |
| cantor/ | 01-May-2012 16:27 | - | |
| clp/ | 01-May-2012 16:27 | - | |
| completeness/ | 01-May-2012 16:27 | - | |
| config | 01-May-2012 16:27 | 1.7K | |
| config.log | 28-Sep-2012 17:49 | 7.9K | |
| coord/ | 01-May-2012 16:27 | - | |
| epigram.cabal | 16-Oct-2012 21:01 | 323 | |
| eta-short/ | 01-May-2012 16:27 | - | |
| foo.html | 01-May-2012 16:27 | 29K | |
| fooling/ | 01-May-2012 16:27 | - | |
| halting/ | 01-May-2012 16:27 | - | |
| hbuildd/ | 01-May-2012 16:27 | - | |
| main2.pdf | 29-Mar-2013 08:36 | 66K | |
| main2.tex | 29-Mar-2013 08:37 | 18K | |
| man/ | 16-Oct-2012 21:01 | - | |
| miller.tar.gz | 04-Jun-2012 07:33 | 10K | |
| models/ | 16-Oct-2012 21:01 | - | |
| need/ | 01-May-2012 16:27 | - | |
| neu.log | 16-Dec-2012 01:25 | 3.9K | |
| notes/ | 16-Oct-2012 21:01 | - | |
| papers/ | 16-Oct-2012 21:01 | - | |
| pigmode.el | 16-Oct-2012 21:01 | 4.1K | |
| proof2 | 09-Apr-2013 09:01 | 592 | |
| send-line.el | 16-Oct-2012 21:01 | 664 | |
| src/ | 16-Oct-2012 21:01 | - | |
| tesi/ | 22-Apr-2013 22:42 | - | |
| test/ | 16-Oct-2012 21:01 | - | |
| tip/ | 01-May-2012 16:27 | - | |
| unification/ | 01-May-2012 16:27 | - | |
| web/ | 16-Oct-2012 21:01 | - | |
| wishing/ | 16-Oct-2012 21:01 | - | |