Skip to content

formalism: Replace "markless" judgement(s) with "marked" judgment(s)#12

Draft
mirryi wants to merge 5 commits into
masterfrom
marked-judgment
Draft

formalism: Replace "markless" judgement(s) with "marked" judgment(s)#12
mirryi wants to merge 5 commits into
masterfrom
marked-judgment

formalism: Add marked rules for if expression

07d5384
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs