argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec

MIT License

22 stars 4 forks source link

Naming: Rename Common lean to something else. (What ??) #29

Open cognivore opened 2 years ago

cognivore commented 2 years ago

Why?

After a while we'll notice that everything that is truly generic here will be removed from Common.lean to other repositories, leaving only stuff that's either BEq \alpha or BEq \beta here.

What?

[ ] Perhaps we should rename Common.lean (eventually) reflecting this.