Lecture summaries for the course "Category Theory and Functional Programming", held in 2014 at Chalmers by Cezar Ionescu. (With Patrik Jansson as examiner.)
http://wiki.portal.chalmers.se/cse/pmwiki.php/CTFP14/CoursePlan
DSLsofMath/ctfp2014
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|