Fix extra "`" at logic.md - Githubissues

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

Fix extra "`" at logic.md #93

Closed pfeodrippe closed 4 years ago