search

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
220 stars 40 forks source link

Index for "Domain Theory in UF I" #296

Closed tomdjong closed 2 weeks ago

tomdjong commented 2 weeks ago

Includes various minor additions and improvements.

martinescardo commented 2 weeks ago

Actually I did it myself.