![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Expression.agda | 27-Sep-2010 08:22 | 1.7K | |
| KleeneAlgebra.agda | 29-Mar-2011 13:47 | 14K | |
| MatchingParentheses...> | 29-Mar-2011 13:47 | 3.4K | |
| NotOnlyContextFree.agda | 12-May-2011 16:12 | 5.8K | |
| ExpressiveStrength.agda | 07-Oct-2011 10:10 | 14K | |
| Lib.agda | 28-Feb-2013 13:33 | 6.2K | |