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

Commits

Commits on Jul 27, 2018