search

awalterschulze / regex-reexamined-coq

Apache License 2.0
21 stars 7 forks source link

replaced lambda by epsilon and emptystr #152

Closed awalterschulze closed 3 years ago

awalterschulze commented 3 years ago

Review, but DO NOT MERGE This relies on the #151 merging first, so I will make sure it merges in the right order.

I replaced \lambda by \epsilon in the latex and lambda by emptystr in the Coq. I hope this helps to avoid confusion for newcomers in the future.

awalterschulze commented 3 years ago

Discussed offline: merging now and will post review