Change files to lagda, add author and remove links

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

GNU General Public License v3.0

228 stars 42 forks source link

Closed tnttodda closed 7 months ago

tnttodda commented 7 months ago

I changed all .lagda.md files to .lagda files, to fit with TypeTopology's standard
I removed markdown style links, and moved the links inline
I added an author to all files