ToposInstitute/poly

TeX

134

647 commits

updated Jul 17, 2024

toposinstitute.github.io/poly/poly-book.pdf

See the code

README

poly

See the pdf branch or visit topos.site/poly-book.pdf for the latest build.

In the summer of 2021, we offered a course based on this book: visit https://topos.site/poly-course/ for more details.

Feel free to share feedback at https://docs.google.com/document/d/1qY5hLglgSW_p2AascL7XM3c4dByGZrECcnh6M1d3by8/edit.

Contributors

416 commits

186 commits

19 commits

13 commits

Similar repos

RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

benediktahrens/CT4P

bobzhang/ocaml-book

a book about ocaml

189

mauke/poly.poly

Polyglots

nadia-polikarpova/cse291-program-synthesis

Program Synthesis Course

268

diffprog/code

Code for the book "The Elements of Differentiable Programming".

288

abuseofnotation/category-theory-illustrated

A book about category theory

486

paf31/purescript-book

Sources for the PureScript book

450

Languages

TeX

97.7%

Idris

1.6%