Skip to content

refactor: decompose synth/check into helpers in typeinfer.py#425

Open
alcides wants to merge 1 commit into
masterfrom
refactor/decompose-typeinfer-synth
Open

refactor: decompose synth/check into helpers in typeinfer.py#425
alcides wants to merge 1 commit into
masterfrom
refactor/decompose-typeinfer-synth

refactor: decompose synth/check Rec/Application/Let/If arms in typeinfer

7138ed5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar