Daily Archives: August 11, 2017

Truncations and truncated higher inductive types

Advertisements