Skip to content
GitLab
Explore
Sign in
Register
TeSSLa
TeSSLa
Repository
Branches
Overview
Active
Stale
All
package_manager
451854e0
·
Rename and add docu comments to PackageManagerTests.scala
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-newtype
e570f54c
·
Pass (Type-)Env into unify- and meetType
·
Mar 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-import-without-alias
88d9610d
·
Use global path in module (type) env
·
Mar 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-nominal-typing
31d5f5eb
·
Revert "Keep type params pointing to newtypes"
·
Mar 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
cb160149
·
Adjust header files
·
Mar 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
imperative-externs
9d29c245
·
adjust flatMap definition, add cast for streams
·
Feb 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tessla-lsp
1e604e68
·
Rename client to tessla-lsp
·
Dec 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2.1.0-development
protected
e19e2e7b
·
Merge branch 'rust-borrow-fn' into '2.1.0-development'
·
Nov 16, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-imports-in-typechecker
2d59a0a8
·
add TypeChecker test.
·
Oct 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
legacy
d060c6fc
·
CI for legacy branch
·
Jun 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
remove-inmodule
4a3939fe
·
Implicitly import the "Types" module
·
Jun 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aggregate_update_addon
2a01fe0a
·
Merge branch 'development' into aggregate_update_addon
·
Nov 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gitlab-maven-repo
22de8d4b
·
Switch to Gitlab Maven repo
·
Nov 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar