We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
TeX 97 7
5 1
HTML 4 1
This repository contains all the code presented in the online book "Relational Thinking - from Abstractions to Applications".
A directory to keep the corpus obtained from Leinster's book "Basic Category Theory"
A type theory with native support for Polynomial Functors.
Loading…
