Skip to content
dir-rmap probe

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

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 #31

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dir-rmap probe
2m 32s
2m 32s