Position bug (mantis #33)

rlepigre / pml

New version of the PML language and (classical) proof assistant

http://pml-lang.org

MIT License

20 stars 2 forks source link

Closed craff closed 6 years ago

craff commented 6 years ago

Position absent or wrong to often

craff commented 6 years ago

Almost finished ?

craff commented 6 years ago

Fixed last TODO relative to #17 and did not get strange position for a while so this may be closed ...