Keep short-circuit evaluation when hoisting case expressions - #11

Keep short-circuit evaluation when hoisting case expressions#11

nikolaushuber merged 4 commits into

mainpure-py/isabelle-python-codegen:mainfrom

anf-hoist-fixpure-py/isabelle-python-codegen:anf-hoist-fixCopy head branch name to clipboard