Printing of epsilons (mantis #53)

rlepigre / pml

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

http://pml-lang.org

MIT License

20 stars 2 forks source link

Printing of epsilons (mantis #53) #9

Closed craff closed 6 years ago

craff commented 6 years ago

Epsilons should be prionted as the name of a bound variable that wes subsituted with the epsilon. When epsilons are known to be equal, a "best" name should be chosen.

craff commented 6 years ago

Mainly done, using Binlib contexts, few FIXME remaining, were guessing a name is hard.

craff commented 6 years ago

Currently, we have lost the unification variables used by epsilon ... We should put them back !!!

craff commented 6 years ago

Printing of unif vars is now restored.

craff commented 6 years ago

Done, as best as we could.