| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Operator.agda | 04-Sep-2009 14:03 | 1.2K | ||
| Fixity.agda | 04-Feb-2010 23:29 | 1.9K | ||
| Expr.agda | 04-Sep-2009 14:03 | 4.4K | ||
| Equivalence.agda | 04-Oct-2011 10:24 | 9.9K | ||
| Cyclic/ | 15-Feb-2012 11:52 | - | ||
| Acyclic/ | 07-Oct-2011 10:10 | - | ||