Skip to content

Fix specification of the derived form of record extension expression#49

Open
minoki wants to merge 1 commit intoSMLFamily:masterfrom
minoki:fix-exprow-derived-form
Open

Fix specification of the derived form of record extension expression#49
minoki wants to merge 1 commit intoSMLFamily:masterfrom
minoki:fix-exprow-derived-form

Commits

Commits on Jan 17, 2022