DaoFP

The Dao of Functional Programming. The PDF is there:

Name		Name	Last commit message	Last commit date
Latest commit History 274 Commits
.gitignore		.gitignore
1-CleanSlate.tex		1-CleanSlate.tex
10-Adjunctions.tex		10-Adjunctions.tex
11-DependentTypes.tex		11-DependentTypes.tex
12-Algebras.tex		12-Algebras.tex
13-Coalgebras.tex		13-Coalgebras.tex
14-Monads.tex		14-Monads.tex
15-MonadsAdjunctions.tex		15-MonadsAdjunctions.tex
16-Comonads.tex		16-Comonads.tex
17-Ends.tex		17-Ends.tex
18-Tambara.tex		18-Tambara.tex
19-Kan.tex		19-Kan.tex
2-Composition.tex		2-Composition.tex
20-Enrichment.tex		20-Enrichment.tex
3-Isomorphism.tex		3-Isomorphism.tex
4-SumTypes.tex		4-SumTypes.tex
5-ProductTypes.tex		5-ProductTypes.tex
6-FunctionTypes.tex		6-FunctionTypes.tex
7-Recursion.tex		7-Recursion.tex
8-Functors.tex		8-Functors.tex
9-NaturalTransformations.tex		9-NaturalTransformations.tex
DaoFP.tex		DaoFP.tex
README.md		README.md

hervengassop/DaoFP