Code

Add property checks for BinNat#1176

Code

Merged

johnynek merged 6 commits intomainjohnynek/bosatsu:mainfrom oscar/20240317_add_bin_nat_propsjohnynek/bosatsu:oscar/20240317_add_bin_nat_propsCopy head branch name to clipboardMar 22, 2024

+216-31

Commits

Commits on Mar 18, 2024

• Add property checks for BinNat

  johnynek

  committed
  08e8a73

  Copy full SHA for 08e8a73

• improve sub_BinNat

  johnynek

  committed
  8992a98

  Copy full SHA for 8992a98

• improve comments

  johnynek

  committed
  a808d21

  Copy full SHA for a808d21

• use eq_Int vs cmp_Int where possible

  johnynek

  committed
  62104d5

  Copy full SHA for 62104d5

Commits on Mar 22, 2024

• improve sub_BinNat

  johnynek

  committed
  fb3e341

  Copy full SHA for fb3e341

• make tests pass, but expose bug

  johnynek

  committed
  d32020f

  Copy full SHA for d32020f