Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/instance-arguments/
- 01-arguments.agda
- 02-classes-indep.agda
- 03-classes.agda
- 04-equality.agda
- 05-equality-std1.agda
- 05-equality-std2.agda
- 06-listEquality.agda
- 07-subclasses.agda
- 08-higherOrder.agda
- 09-higherOrderClasses.agda
- 10-localInstances.agda
- 11-monads.agda
- 12-constraintFamilies.agda
- 13-implicitProofObligations.agda
- 14-implicitConfigurations.agda