functional-programming.
- A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name
- William Cotton
- Higher-kinded Bounded Polymorphism
- Agda by Example: λ-calculus
- Lensy Moore
- You probably wrote half a monad by accident – Andy G's Blog
- Megaparsec tutorial
- williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.