search

katydid / regex-derivatives-coq

Apache License 2.0
21 stars 7 forks source link

move derive commutes into separate file #165

Closed awalterschulze closed 3 years ago