Agda-2.3.2.2: examples/AIM6/RegExp/talk/Everything.agda

module Everything where

import BoolMatcher
import Eq
import Prelude
import RegExps
import Setoids
import SimpleMatcher