Task Index

Thinking in Types, by isovector
Category Theory, and other theory
Functional Programming and Proof Checking Course Plan: https://oxij.org/activity/itmo/fp/plan/
Types = Values; https://vitez.me/hts-language
Find relevant papers, in order.
Write You A Haskell: Building a modern functional compiler from first principles.
Research a tool that automates much of the release process; cf. https://twitter.com/domenkozar/status/1744333116687184030
Explain the usefulness flake-parts (and thus haskell-flake and mission-control)
Avoid having to chown -R $USER inside mounted dir?
What does it take to resize later? Can we do it unbounded from beginning?
Flesh out this note in detail.