Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
README.md		README.md

Repository files navigation

pykello's Reading List

Type Theory

Introduction to Type Theory, Herman Geuvers (pdf)

About

No description, website, or topics provided.

Unlicense license

Report repository

Releases

No releases published

Packages

Contributors