Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/angerman/win32-cross-2
5ef6e568
·
Rename iserv-slave to remote-iserv
·
Mar 08, 2018
deriving-via-a-la-richard
db5164a1
·
Implement Richard's scoping idea
·
Mar 11, 2018
wip/angerman/win32-cross
d0d02e28
·
Rename iserv-slave to remote-iserv
·
Mar 13, 2018
wip/D4327
adc3415f
·
WIP: Add likelyhood to alternatives from stg onwards
·
Mar 13, 2018
deriving-via
26b01911
·
Fix #28 with yet more unification
·
Mar 13, 2018
wip/T14068
4a47fd33
·
Merge branch 'wip/T14951' into wip/T14068
·
Mar 21, 2018
wip/T14951
37402025
·
Add testcase for #14951
·
Mar 22, 2018
wip/T14951-blunt
60563fdc
·
Run SpecConstr twice, simplify in between
·
Mar 22, 2018
wip/T14975
e70ae1fe
·
Define MCoercion type
·
Mar 27, 2018
wip/tdammers/D4395-new
aa8ea83e
·
Simplify simplCast
·
Apr 05, 2018
wip/ttg-next
151b14d4
·
WIP on TTG for HsBinds
·
Apr 07, 2018
wip/restore-ttg
5b132838
·
Restore TTG Path 3
·
Apr 08, 2018
wip/tdammers/T14737-patch
05795345
·
Bump perf test targets
·
Apr 09, 2018
wip/tdammers/D4394
55a78ea8
·
Bump perf test targets
·
Apr 11, 2018
wip/tdammers/D4570
93e30351
·
Debug only
·
Apr 11, 2018
deriving-via-8.5
3721fa03
·
Fix #33
·
Apr 14, 2018
wip/tdammers/D4568
4c390f87
·
Bump perf test targets
·
Apr 15, 2018
wip/no-exnstr
a1cc538a
·
Merge branch 'master' into wip/no-exnstr
·
Apr 16, 2018
wip/tdammers/D4394-squash
03ed25a8
·
Cache coercion roles in NthCo
·
Apr 20, 2018
wip/tdammers/T15019
5a157f80
·
Fix simplCast perf issues from #14737
·
Apr 30, 2018
Prev
1
…
10
11
12
13
14
15
16
17
18
…
22
Next