Skip to content

Gets rid of typing rule for record identifiers - #4380

Draft
mikesol wants to merge 1 commit into
purescript:masterfrom
mikesol:get-rid-of-typing-rule-for-record-identifier
Draft

Gets rid of typing rule for record identifiers#4380
mikesol wants to merge 1 commit into
purescript:masterfrom
mikesol:get-rid-of-typing-rule-for-record-identifier

Commits

Commits on Aug 21, 2022