Functional Programming Course

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

A wayland compositor based on ideas from and inspired by xmonad

Algebraic graphs

A modern syntax for the λ-calculus.

The Incredible Proof Machine

Slides from talks that I give

Use snippets of Rust inline in your Haskell programs

Extensional capabilities and deriving combinators

Play Minesweeper by formally proving your moves in Idris

Construct and run Hadoop MapReduce programs in Haskell

Type-safe data versioning.

Measure time complexity empirically.

Haskell bindings to nanomsg

Incubator for my Haskell libraries

slides, code examples, planning for hands-on-haskell meetups

An experiment in using a theorem prover to find interesting new monads