fixup type hover - Githubissues

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

https://1lab.dev

GNU Affero General Public License v3.0

348 stars 68 forks source link

Closed plt-amy closed 2 months ago

plt-amy commented 2 months ago

The current prettifying attempt generates some mangled types

so I think it's best to drop it and then try to fix this stuff upstream.

Lavenza commented 2 months ago