daily pastebin goal


a guest Nov 8th, 2018 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. data RE a            -- regular expressions over an alphabet defined by 'a'
  2. = Empty          -- empty regular expression
  3. | Sym a          -- match the given symbol
  4. | RE a :+: RE a  -- concatenation of two regular expressions
  5. | RE a :|: RE a  -- choice between two regular expressions
  6. | Rep (RE a)     -- zero or more repetitions of a regular expression
  7. | Rep1 (RE a)    -- one or more repetitions of a regular expression
  8. deriving (Show)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand