search

gauravmm / Navelgazer

Linter for first-order logic
http://navelgazer.gauravmanek.com/
MIT License
0 stars 1 forks source link

Separate TF manipulation interface. #2

Closed gauravmm closed 8 years ago

gauravmm commented 8 years ago

The TF solver is pretty comprehensive. It should be easy to add an extra interface that allows for only TF rules to be applied, providing live linting and possibly autocomplete.

gauravmm commented 8 years ago

Won't fix, on advice of professor.