Code

Update Case Sensitivity arguments#3741

Code

Merged

mergify[bot] merged 11 commits intodevelopenso-org/enso:developfrom wip/radeusgd/case-sensitivity-update-183314956enso-org/enso:wip/radeusgd/case-sensitivity-update-183314956Copy head branch name to clipboardSep 27, 2022

+743-636

Commits

Commits on Sep 27, 2022

• Move stuff around to align with new design

  radeusgd

  committed
  656cd9e

• checkpoint

  radeusgd

  committed
  f70421a

• undo some regex changes

  radeusgd

  committed
  381cf58

• checkpoint

  radeusgd

  committed
  987997f

• checkpoint

  radeusgd

  committed
  613024d

• checkpoint

  radeusgd

  committed
  92d1c2c

• fix

  radeusgd

  committed
  8a5ce9e

• fixes

  radeusgd

  committed
  691d717

• fix comparator

  radeusgd

  committed
  1c71b2f

• Fix non-determinism in type_of for BigInteger

  

  hubertp

  authored and

  radeusgd

  committed
  9220a6c

• Fixes after rebase

  Show description for bf332ed
  radeusgd

  committed
  bf332ed