Code samples for Lean 4.
In order to run these samples you need a working Lean 4 environment. See Quickstart instructions on how to set that up.
Every language needs a simple hello world sample.
CSV parser is the simplest practical CSV parser you can write in Lean.