Skip to content
Crepe plan probe

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned #68

Sign in to view logs

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned #68

Run time

Learn about OS pricing on GitHub Actions
Job Run time
probe
14m 7s
14m 7s