1 commit

Author	SHA1	Message	Date
Henrik Böving	edecf3d4ba	chore: move Lean.Data.Parsec to Std.Internal.Parsec (#5115) ... Again as discussed for bootstrapping reasons.	2024-08-21 15:26:17 +00:00

Renamed from src/Lean/Data/Parsec.lean (Browse further)