search

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

Variables not bound in head of binding #40

Closed kohlhase closed 6 years ago

kohlhase commented 6 years ago

see https://github.com/OpenMath/OM3/issues/143

kohlhase commented 6 years ago

Fixes will be flowing into pull request #50

kohlhase commented 6 years ago

this is now made explicit in #50, closing here.