Vegetable Patch

Here, in this modest patch, I grow pieces of programs. Sometimes, when cooked with too much spices, those vegetables become questionable dishes.

I am most interested in C, Haskell and Lean. I also touched a bit of OCaml, Rust, Go and Python.