stan/WildFJ-Typeinference
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Prototype Implementation of a type inference algorithm for Featherweight Java including Wildcards re-implementation using Scala 3
18 Commits 1 Branch 0 Tags 118 KiB
Scala 100%
931b65fa14
Go to file
Andreas Stadelmeier 931b65fa14 Fix Lower rule. Include WTVs on left side aswell
2024-04-01 17:04:59 +02:00
project INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00
src Fix Lower rule. Include WTVs on left side aswell 2024-04-01 17:04:59 +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

README.md

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.