Skip to content

Draft: Limit forall to TYPE r and CONSTRAINT r

Krzysztof Gogolewski requested to merge wip/forall-kind-rule into master

WIP

Edited by Krzysztof Gogolewski

Merge request reports