Fix LRM to describe correct form of curried recursive measures

overturetool / language

Overture Language Board issue tracking

2 stars 0 forks source link

Fix LRM to describe correct form of curried recursive measures #59

Closed nickbattle closed 11 months ago

nickbattle commented 11 months ago

As discussed in the LB meeting on 26/11/23, the form of curried measures in VDMJ/VSCode is a bug, and should be fixed to align with VDMTools. There is a corresponding change to the LRM required.

This issue is to remind us!

tomooda commented 11 months ago

fixed by https://github.com/overturetool/documentation/pull/30