Index of /code.haskell.org/Agda/src/full/Agda/TypeChecking/Patterns/

../
Abstract.hs                                        15-Feb-2019 15:21                4677
Match.hs                                           15-Feb-2019 15:21                8725
Match.hs-boot                                      15-Feb-2019 15:21                 371