search

koka-lang / madoko

Madoko is a fast markdown processor for high quality academic and technical articles
Other
393 stars 42 forks source link

avoid name clash of other sty packages #84

Open NikolajBjorner opened 1 month ago