Index of /code.haskell.org/Agda/examples/AIM6/RegExp/talk/

../
BoolMatcher.agda                                   15-Feb-2019 15:22                1701
Eq.agda                                            15-Feb-2019 15:22                1175
Everything.agda                                    15-Feb-2019 15:22                 120
Prelude.agda                                       15-Feb-2019 15:22                1380
RegExps.agda                                       15-Feb-2019 15:22                3027
Setoids.agda                                       15-Feb-2019 15:22                 394
SimpleMatcher.agda                                 15-Feb-2019 15:22                2687
TALK                                               15-Feb-2019 15:22                1368