Type theory

Written by Jack Gallagher last updated

Hub page for type theory explanations