BartoszMilewski/DaoFP

The Dao of Functional Programming

TeX

553

336 commits

updated Apr 28, 2026

See the code

README

DaoFP

The Dao of Functional Programming. The PDF is there:

https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf

Significant stargazers

Ian Stapleton Cordasco

1,674 followers · starred Mar 2025

mitchmindtree

501 followers · starred Oct 2024

Jens Petersen

98 followers · starred May 2022

Roger Coll

47 followers · starred Feb 2025

Similar repos

BartoszMilewski/Okasaki

Functional data structures in C++

563

same org

leanprover/functional_programming_in_lean

A book about functional programming in Lean

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

fpco/applied-haskell

lucasviola/awesome-functional-programming

👽 A curated list of functional programming resources such as blog posts, communities, discussion…

1,012

IndiscriminateCoding/clarity

Functional programming library for OCaml

imteekay/functional-programming-learning-path

✨ A Learning Path for Functional Programming

1,046

ZachElliott4/FYP