Code

Computational instance for GOV' rule#223

Code

Merged

WhatisRT merged 4 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom GOV-computationalIntersectMBO/formal-ledger-specifications:GOV-computationalCopy head branch name to clipboardSep 25, 2023

+58-12

Commits

Commits on Sep 19, 2023

• Dec instance for IsJust

  UlfNorell

  committed
  be6d781

• Remove setFromList and use fromList everywhere instead

  UlfNorell

  committed
  466b396

• Computational instance for GOV'

  UlfNorell

  committed
  55780b6

Commits on Sep 25, 2023

• Replace any⇔∃ with Any↔ from stdlib

  WhatisRT

  committed
  a9c7f3b