search

meta-logic / sellf

SubExponential Linear Logic Framework for reasoning about sequent calculus systems
7 stars 2 forks source link

Unify parsers #4

Closed gisellemnr closed 7 years ago

gisellemnr commented 8 years ago

parser.mly and parser_models.mly should probably be unified in the same file, as they are both using the same grammar for formulas. Also the lexers.

gisellemnr commented 8 years ago

Fixed in the branch pure-sellf. Need to test this branch and merge it with master.

gisellemnr commented 7 years ago

Fixed on e66dc65091a9e42c0bef7f65b4345dc03592ba33