Lower-case type variable names and other improvements to Agda code snippets

hmemcpy / milewski-ctfp-pdf

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

Other

10.84k stars 572 forks source link

Closed williamdemeo closed 6 months ago

williamdemeo commented 6 months ago

General improvements to the Agda code for (some of) the first 10 chapters.

williamdemeo commented 6 months ago

oops... sorry, didn't mean to submit a PR upstream!