a lot of this 'doing' is going to be learning.

I want to get through the Wikibooks #Haskell tutorial, "Write Yourself a Scheme in 48 Hours" (h/t https://mathstodon.xyz/@AmenZwa/115812071776992831)

and then modernize an old implementation of #KernelLang in Haskell, with the intent of adding Liquid Haskell refinement types to it.

We really need a good, complete implementation of Kernel #LISP.