Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/clowns/

../
ChainRule.agda                                     15-Feb-2019 15:22                3165
Clowns.agda                                        15-Feb-2019 15:22                1062
Derivative.agda                                    15-Feb-2019 15:22                 609
Dissect.agda                                       15-Feb-2019 15:22                3772
Equality.agda                                      15-Feb-2019 15:22                 847
Functor.agda                                       15-Feb-2019 15:22                1338
Isomorphism.agda                                   15-Feb-2019 15:22                1645
Sets.agda                                          15-Feb-2019 15:22                1557
Zipper.agda                                        15-Feb-2019 15:22                 370