search

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser
http://gleachkr.github.io/Carnap/
GNU General Public License v3.0
3 stars 0 forks source link

FOL matching not working correctly #22

Closed JakeEhrlich closed 9 years ago

JakeEhrlich commented 9 years ago 
folMatch (ub $ \x -> phi1 1 (liftToScheme x)) (ub $ \x -> ub $ \y -> rel "R" (liftToScheme x) (liftToScheme y))

produces a substitution in which both are bound variables are substituted.

JakeEhrlich commented 9 years ago

Fixed in latest commit: https://github.com/gleachkr/Carnap/commit/27ee5fba766868698383ee6c277e67898100929b