search

txa / cftlfp

0 stars 0 forks source link

readme

This is the material for the course "Categories for the lazy functional programmer" taught at MGS 2024.