├── .gitattributes ├── .github └── workflows │ └── scala.yml ├── .gitignore ├── .scala-steward.conf ├── LICENSE ├── README.md ├── bin └── simple-algebraic-subtyping-opt.js ├── index.css ├── index.html ├── js └── src │ └── main │ └── scala │ └── Main.scala ├── notes └── interpretation-of-as-types.txt ├── project ├── build.properties └── plugins.sbt └── shared └── src ├── main └── scala │ └── simplesub │ ├── Parser.scala │ ├── TypeSimplifier.scala │ ├── Typer.scala │ ├── TyperDebugging.scala │ ├── helpers.scala │ ├── package.scala │ └── syntax.scala └── test └── scala └── simplesub ├── IsolatedTests.scala ├── OtherTests.scala ├── ParserTests.scala ├── ProgramTests.scala ├── TypingTestHelpers.scala └── TypingTests.scala /.gitattributes: -------------------------------------------------------------------------------- 1 | bin/simple-algebraic-subtyping-opt.js linguist-generated=true 2 | -------------------------------------------------------------------------------- /.github/workflows/scala.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/.github/workflows/scala.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/.gitignore -------------------------------------------------------------------------------- /.scala-steward.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/.scala-steward.conf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/README.md -------------------------------------------------------------------------------- /bin/simple-algebraic-subtyping-opt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/bin/simple-algebraic-subtyping-opt.js -------------------------------------------------------------------------------- /index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/index.css -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/index.html -------------------------------------------------------------------------------- /js/src/main/scala/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/js/src/main/scala/Main.scala -------------------------------------------------------------------------------- /notes/interpretation-of-as-types.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/notes/interpretation-of-as-types.txt -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.7 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/Parser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/Parser.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/TypeSimplifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/TypeSimplifier.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/Typer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/Typer.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/TyperDebugging.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/TyperDebugging.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/helpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/helpers.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/package.scala -------------------------------------------------------------------------------- /shared/src/main/scala/simplesub/syntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/main/scala/simplesub/syntax.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/IsolatedTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/IsolatedTests.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/OtherTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/OtherTests.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/ParserTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/ParserTests.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/ProgramTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/ProgramTests.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/TypingTestHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/TypingTestHelpers.scala -------------------------------------------------------------------------------- /shared/src/test/scala/simplesub/TypingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPTK/simple-sub/HEAD/shared/src/test/scala/simplesub/TypingTests.scala --------------------------------------------------------------------------------