Typechecking blocks in continuation-passing style#1398

leo-leesco wants to merge 2 commits into

reviewed-kbd-will-merge-to-mainstrata-org/Strata:reviewed-kbd-will-merge-to-mainfrom

leo/typechecker-CPSstrata-org/Strata:leo/typechecker-CPSCopy head branch name to clipboard