Code

Support for enum case objects#1384

Code

Merged

mario-bucev merged 1 commit intoepfl-lara:mainepfl-lara/stainless:mainfrom mario-bucev:enum-case-objectsmario-bucev/stainless:enum-case-objectsCopy head branch name to clipboardMar 7, 2023

+82-1

Commits

Commits on Mar 7, 2023

• Support for enum case objects

  mario-bucev

  committed
  e54e188

  Copy full SHA for e54e188