Giters

DiscreteTom / bimark-playground

Online playground for BiMark.

Home Page:https://discretetom.github.io/bimark-playground/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Make definitions links.

DiscreteTom opened this issue · comments

commented

For now definitions are not links, so we have to find a reference to see the reverse references.