Skip to content

chore: move Lean.Data.Parsec to Std.Internal.Parsec#5115

Merged
hargoniX merged 1 commit intomasterfrom move-parsecAug 21, 2024

Commits

Commits on Aug 21, 2024