Prototype Implementation of a type inference algorithm for Featherweight Java including Wildcards re-implementation using Scala 3
Go to file
2024-08-15 17:03:27 +02:00
project INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00
src Change extends Relation 2024-08-15 17:03:27 +02:00
.gitignore INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00
build.sbt INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00
README.md INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00

sbt project compiled with Scala 3

Usage

This is a normal sbt project. You can compile code with sbt compile, run it with sbt run, and sbt console will start a Scala 3 REPL.

For more information on the sbt-dotty plugin, see the scala3-example-project.