search

katydid / regex-derivatives-coq

Apache License 2.0
21 stars 7 forks source link

cofixpoint derive tree #176

Closed awalterschulze closed 3 years ago

awalterschulze commented 3 years ago

@Nielius came up with a CoInductive DeriveTree It seems to cater for both lang and regex.

The idea is that this might be a better CoInductive type to use in conjunction with bisimilar.