Remove erranous backslash from before $

BSVino / JaiPrimer

A description of Jonathan Blow's programming language, Jai

1.81k stars 81 forks source link

Remove erranous backslash from before $ #11

Closed objarni closed 7 years ago

objarni commented 7 years ago

I noticed your otherwise superb summary of Jai contained two backslashes too much in front of the $ symbol (used for polymorphic type variable/specification). Typo?

BSVino commented 7 years ago

Possibly from when it was a Google Site.

objarni commented 7 years ago

Thanks.