search

leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
69 stars 23 forks source link

Add a csv parser sample #1

Closed xubaiw closed 2 years ago

xubaiw commented 2 years ago

CSV parser is the simplest but also practical parser, so that it can be used as a tutorial for using Parsec.

lovettchris commented 2 years ago

Ok, I fixed the typos, let me know if I broke anything, thanks.

xubaiw commented 2 years ago

Thanks! I'm occupied with my final projects and exams these day, and will come back to Lean in the following summer holiday 🙏🏻

lovettchris commented 2 years ago

I understand. It looks like I did the right thing then, thanks for your contribution and good luck with your exams!