Use unification variables parametrized by ordinals (mantis #57)

rlepigre / pml

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

http://pml-lang.org

MIT License

20 stars 2 forks source link

Open craff opened 6 years ago

craff commented 6 years ago

To do as in subml, we need this.

It relies on higher-order ?

craff commented 6 years ago

Does not seem useful ... wait for a use case.