site

hi

links

• reading log

todo

• learn Lean, Haskell, Nix