![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| misc/ | 30-Aug-2010 00:15 | - | |
| _darcs/ | 28-Feb-2013 13:33 | - | |
| TotalRecognisers/ | 07-Oct-2011 10:10 | - | |
| TotalRecognisers.agda | 18-Jan-2011 11:35 | 2.4K | |
| TotalParserCombinators/ | 28-Feb-2013 13:33 | - | |
| TotalParserCombinato..> | 29-Mar-2011 13:47 | 3.1K | |
| StructurallyRecursiv..> | 16-Mar-2012 14:07 | - | |
| StructurallyRecursiv..> | 28-Feb-2013 13:33 | 1.7K | |
| README | 30-Aug-2010 00:15 | 662 | |
| Mixfix/ | 04-Oct-2011 10:24 | - | |
| Mixfix.agda | 04-Feb-2010 23:29 | 4.2K | |
| LICENCE | 04-Feb-2010 23:29 | 1.1K | |