Go back
functional-programming.
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.