search

nLabs-nScope / nLab

GNU General Public License v3.0
9 stars 2 forks source link

Improve scope trace visibility #40

Closed davidjmeyer closed 1 year ago

davidjmeyer commented 1 year ago
image