search

katydid / regex-derivatives-coq

Apache License 2.0
21 stars 7 forks source link

Rewrite definition of and_lang #154

Closed awalterschulze closed 3 years ago

awalterschulze commented 3 years ago

See https://github.com/awalterschulze/regex-reexamined-coq/pull/149#discussion_r559203256

and_lang should a P /\ Q and not defined in terms of or_lang