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


../
Structure/                                         15-Feb-2019 15:22                   -
Base.agda                                          15-Feb-2019 15:22                 833
ChainReasoning.agda                                15-Feb-2019 15:22                1992
Congruence.agda                                    15-Feb-2019 15:22                1366
Equivalence.agda                                   15-Feb-2019 15:22                 231
Identity.agda                                      15-Feb-2019 15:22                 954
Leibniz.agda                                       15-Feb-2019 15:22                 505
Operations.agda                                    15-Feb-2019 15:22                1196
Relations.agda                                     15-Feb-2019 15:22                1041