Fix for potential future bug. - Githubissues

gauravmm / Navelgazer

Linter for first-order logic

http://navelgazer.gauravmanek.com/

MIT License

0 stars 1 forks source link

Fix for potential future bug. #7

Closed gauravmm closed 8 years ago