Index of /code.haskell.org/Agda/examples/instance-arguments/


../
01-arguments.agda                                  15-Feb-2019 15:22                 420
02-classes-indep.agda                              15-Feb-2019 15:22                1224
03-classes.agda                                    15-Feb-2019 15:22                1653
04-equality.agda                                   15-Feb-2019 15:22                1983
05-equality-std1.agda                              15-Feb-2019 15:22                 704
05-equality-std2.agda                              15-Feb-2019 15:22                 400
06-listEquality.agda                               15-Feb-2019 15:22                1045
07-subclasses.agda                                 15-Feb-2019 15:22                5098
08-higherOrder.agda                                15-Feb-2019 15:22                 328
09-higherOrderClasses.agda                         15-Feb-2019 15:22                 718
10-localInstances.agda                             15-Feb-2019 15:22                 900
11-monads.agda                                     15-Feb-2019 15:22                2709
12-constraintFamilies.agda                         15-Feb-2019 15:22                1455
13-implicitProofObligations.agda                   15-Feb-2019 15:22                4575
14-implicitConfigurations.agda                     15-Feb-2019 15:22                1468