Go back
Bookmarks categorized by tags
functional-programming.
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.