Simon Guilloud
authored
* Update project to scala version 3.5.1. Rewrite depreciated syntax. Hide scallion warning report. * update changelist * minonr fix, mark n and u infix in Lattices.scala.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
* Update project to scala version 3.5.1. Rewrite depreciated syntax. Hide scallion warning report. * update changelist * minonr fix, mark n and u infix in Lattices.scala.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||