-
- Downloads
Update project to scala version 3.5.1. Rewrite depreciated syntax. (#227)
* 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.
Showing
- CHANGES.md 3 additions, 0 deletionsCHANGES.md
- build.sbt 9 additions, 4 deletionsbuild.sbt
- lisa-examples/src/main/scala/Lattices.scala 2 additions, 2 deletionslisa-examples/src/main/scala/Lattices.scala
- lisa-sets/src/main/scala/lisa/automation/Substitution.scala 1 addition, 1 deletionlisa-sets/src/main/scala/lisa/automation/Substitution.scala
- lisa-sets/src/main/scala/lisa/maths/settheory/types/TypeSystem.scala 7 additions, 1 deletion...rc/main/scala/lisa/maths/settheory/types/TypeSystem.scala
- lisa-utils/src/main/scala/lisa/fol/Common.scala 2 additions, 3 deletionslisa-utils/src/main/scala/lisa/fol/Common.scala
- lisa-utils/src/main/scala/lisa/utils/parsing/Parser.scala 1 addition, 0 deletionslisa-utils/src/main/scala/lisa/utils/parsing/Parser.scala
- lisa-utils/src/test/scala/lisa/kernel/SubstitutionTest.scala 3 additions, 0 deletionslisa-utils/src/test/scala/lisa/kernel/SubstitutionTest.scala
Loading
Please register or sign in to comment