Select Git revision
0.2-stable
0.3-stable
LayoutBug
NoIL
RedundantContext
TestFix
WarningsFeature
bho/master
bho/preprocessor
existentials
krah/ParenType
master
masterThesisBoehm
new-abstract-typeclasses
sad/records
sad/typeclasses
typeclasses
firstVerticalPrototype
prototype-4
secondPrototype
submission
thirdPrototype
v0.2.12
v0.3.0
v0.3.1
v0.3.10
v0.3.2
v0.3.3
v0.3.4
v0.3.5
v0.3.6
v0.3.7
v0.3.8
v0.3.9
working-version-1-without-Numeric-classes
working-version-2-without-numeric-classes
TypedFlatCurry
UnusedImportsWarn
binary
check-conflicting-imported-instances
det_sigs
dt_backup
fix-missing-prelude
fix-pred-func-args
for-language-server
ghc-9.2.4
inversion
kics2
library-target
line-pragmas
lkrueger-ma
lts-18.27
method-origin-pragmas
mptc_current_pakcs
release/0.4.x
release/1.0.4
remove-unused-imports
rkoehler-ma
scoped-type-variables
split_prelude
unqualified-builtin-types
warncheck-gettycons-fix
AbgabeMasterarbeitRobertKoehler
lkrueger-ma-thesis
v0.4.1
v0.4.2
v1.0.0
v1.0.1
v1.0.2
v1.0.3
v1.0.4
v2.0.0
v2.1.0