Daily Journal

I just fixed my emacs so it gave me LLM code completions, and a lot of things are rather streamlined now, and just according to my tastes in writing code.

I am learning some haskell, and I want to learn some lean as well.