Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

📜 Haskell course info, plan, video lectures, slides

Blog post previews in need of peer review

Universal markup converter

Make your functions return something meaningful, typed, and safe!

quant finance in pure haskell

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Nix and Haskell in production

A minimal emacs configuration for haskell programming

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Koka language compiler and interpreter

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

A standard library for Haskell

An opinionated list of resources for learning Haskell

Play/learn/work with me

The Haskell Optimization Handbook

Proposed compiler and language changes for GHC and GHC/Haskell

Resource gathering + programming game

Agda lecture notes for the Functional Programming course at TU Delft

Agda is a dependently typed programming language / interactive theorem prover.

Compiling Agda code to readable Haskell

The Agda standard library

Material for Haskell training

a challenge for Haskell beginners

A collection of Practical Haskell bits.

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

A purely functional programming language with first class types

Agda category theory library for denotational design

A Haskell library for building incremental static site generators