pml icon indicating copy to clipboard operation
pml copied to clipboard

Published 20 hours ago • verified publisher icon rlepigre

Use unification variables parametrized by ordinals (mantis #57)

Open craff opened this issue 7 years ago • 1 comments

To do as in subml, we need this.

It relies on higher-order ?

craff avatar Nov 01 '17 16:11 craff

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

craff avatar Nov 01 '17 16:11 craff