Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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

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

The official formatter for Nix code

Domain-Specific Languages of Mathematics

The Monad Transformer Library

Nix backend for PureScript. Transpile PureScript code to Nix.

My slides and compilation of resources.

being an operating system for typechecking processes

Abstract Automatic Differentiation