Code

Add type.eqv_of_is_not_higher_order#127

Code

Merged

JasonGross merged 1 commit intomit-plv:mastermit-plv/rewriter:masterfrom JasonGross:eqv_of_is_not_higher_orderJasonGross/rewriter:eqv_of_is_not_higher_orderCopy head branch name to clipboardDec 3, 2023

+8

Commits

Commits on Dec 3, 2023

• Add type.eqv_of_is_not_higher_order

  JasonGross

  committed
  52c3b5c

  Copy full SHA for 52c3b5c