Skip to content

Extend NamedComputationExpr ap to capture SynExpr.TypeApp#2298

Merged
nojaf merged 2 commits intofsprojects:masterfrom dawedawe:fix-2285Jun 21, 2022

Commits

Commits on Jun 19, 2022