Skip to content

feat(src/frontends/lean/decl_util): ignore out_params when deciding w… - #5

Closed
Kha wants to merge 1 commit into
masterfrom
include-out-param
Closed

feat(src/frontends/lean/decl_util): ignore out_params when deciding w…#5
Kha wants to merge 1 commit into
masterfrom
include-out-param

feat(src/frontends/lean/decl_util): ignore out_params when deciding w…

7207786
Select commit
Loading
Failed to load commit list.

There are no checks for this commit