Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/document-mkEtaWW
f2cb5865
·
Better documentation for mkEtaWW [skip ci]
·
Jan 13, 2020
wip/T17661
a8d85ee3
·
replace dead html link (fixes #17661)
·
Jan 12, 2020
wip/T14251
90e98549
·
llvmGen: Fix #14251
·
Jan 12, 2020
wip/overload-th
4ef5871f
·
Overloaded Quotation Brackets (#246)
·
Jan 12, 2020
wip/testing
c0f65866
·
Windows testing
·
Jan 11, 2020
wip/spj-wibbles
5b3fe0aa
·
Comments in TcHsType
·
Jan 10, 2020
wip/az/exactprint
56327777
·
Work in progress, adding more TTG extensions for annotations.
·
Jan 10, 2020
wip/t16775
f05f75bf
·
Don't zap to Any; error instead
·
Jan 09, 2020
wip/pic-aarch64
9cfc1a52
·
Try enabling DYNAMIC_BY_DEFAULT on aarch64 and arm
·
Jan 08, 2020
wip/carter/new-erase-castproofs
1fffdb06
·
suppress some asserts regarding types and coercions for now,
·
Jan 07, 2020
wip/longer-head.hackage-retention
78be9ae6
·
gitlab-ci: Retain bindists used by head.hackage for longer
·
Jan 07, 2020
wip/T17244
cee95808
·
Bump stm and process submodules
·
Jan 07, 2020
wip/bump-haskeline
74fee88c
·
Bump haskeline submodule to 0.8.0.1
·
Jan 06, 2020
wip/T17607
cfdf5239
·
testsuite: Fix Windows platform test
·
Jan 06, 2020
wip/T15742
adb04fa0
·
configure: Only check GCC version if CC is GCC
·
Jan 06, 2020
wip/T13861
be504353
·
hyphen [ci skip]
·
Jan 06, 2020
wip/fix-metrics
04cd4fea
·
gitlab-ci: Pull test metrics before running testsuite
·
Jan 05, 2020
wip/fvs
b1c1960b
·
Bump haddock
·
Jan 03, 2020
wip/local-symbols-2
62b44c67
·
codeGen: Produce local symbols for module-internal functions
·
Jan 03, 2020
wip/deb10-llvm
ccd05018
·
gitlab-ci: Move x86_64-llvm job to Debian 10
·
Jan 03, 2020
Prev
1
2
3
4
5
6
7
…
50
Next