![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-arguments.agda | 16-Aug-2011 14:43 | 420 | |
| 02-classes-indep.agda | 29-Mar-2012 10:59 | 1.2K | |
| 03-classes.agda | 15-Aug-2011 20:33 | 1.6K | |
| 04-equality.agda | 22-Feb-2012 00:01 | 2.0K | |
| 05-equality-std1.agda | 06-May-2011 08:36 | 704 | |
| 05-equality-std2.agda | 06-May-2011 08:36 | 400 | |
| 06-listEquality.agda | 21-Feb-2012 15:10 | 1.0K | |
| 07-subclasses.agda | 31-Dec-2012 08:09 | 5.2K | |
| 08-higherOrder.agda | 16-Aug-2011 14:43 | 328 | |
| 09-higherOrderClasses.agda | 19-Apr-2011 06:36 | 718 | |
| 10-localInstances.agda | 06-May-2011 08:36 | 900 | |
| 11-monads.agda | 22-Feb-2012 21:44 | 2.6K | |
| 12-constraintFamilies.agda | 19-Apr-2011 06:36 | 1.4K | |
| 13-implicitProofObligations.agda | 31-Dec-2012 08:09 | 4.7K | |
| 14-implicitConfigurations.agda | 16-Aug-2011 14:43 | 1.4K | |