initial commit of Agda snippets for Chapter 2

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Other

11.02k stars 595 forks source link

Closed williamdemeo closed 1 year ago

williamdemeo commented 1 year ago

This is just a start. There's still more to do for Chapter 2.

williamdemeo commented 1 year ago

I accidentally submitted this PR to upstream/master, instead of my own fork... sorry!