Index of /code.haskell.org/Agda/examples/lib/Logic/Structure/

../
Applicative.agda                                   15-Feb-2019 15:22                 603
Monoid.agda                                        15-Feb-2019 15:22                1362