After the joys and luxuries of
* Lean's infoview - a continuous evaluation and feedback system for Lean programs
* interactive lisp development with emacs slime-repl
I feel like I'm going back a few centuries with Haskell's edit and then manually compile in a terminal workflow.
#lean #lisp #haskell
@dpwiz @rzeta0 in learn you a haskell for great good you build even the types out xD as exercise