Metaxal

#lang racket

;; License: [Apache License, Version 2.0](http://www.apache.org/licenses/LICENSE-2.0) or
;;          [MIT license](http://opensource.org/licenses/MIT) at your option.

(require racket/gui/base
         pict)

(define line-width-init 1)

fizbin

{-# OPTIONS_GHC -Wall #-}

module Main (main) where

-- Takes two arguments in a limited regex-like language, and tells if
-- they are equivalent. This equivalence is shown by either saying
-- "there is no string which matches one regex but not the other" or
-- by giving a string which matches one but not the other.
-- (i.e. if the distinguishing string is Just "blah", then the regexes
-- aren't equivalent and onw matches "blah" and the other doesn't. If the