search

gauravmm / Navelgazer

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

Combine equality calculations in `metalogic.js` #3

Open gauravmm opened 8 years ago

gauravmm commented 8 years ago

Both ExprFindMapping and ExprEqualExact have the same structure. It is possible to abstract a higher-order function, and that would make the code neater too.