Deferred expression matching in `metalogic.js`

gauravmm / Navelgazer

Linter for first-order logic

http://navelgazer.gauravmanek.com/

MIT License

0 stars 1 forks source link

Deferred expression matching in `metalogic.js` #4

Open gauravmm opened 8 years ago

gauravmm commented 8 years ago

Currently, when computing the equality/mapping between two expressions, a lot of calculation is done that could be short-circuited by using lazy evaluation.