search

argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec
MIT License
22 stars 4 forks source link

Add install step #58

Open samueldurantes opened 10 months ago

samueldurantes commented 10 months ago

This PR adds an install step to help newcomers.