Code

Follow stan hint, use compare.#618

Code

Merged

facundominguez merged 1 commit intoucsd-progsys:developucsd-progsys/liquid-fixpoint:developfrom typechecker:stan/comparetypechecker/liquid-fixpoint:stan/compareCopy head branch name to clipboardAug 5, 2022

+4-12

Commits

Commits on Aug 5, 2022

• Follow stan hint, use compare.

  philderbeast

  committed
  52d02a8

  Copy full SHA for 52d02a8