Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T10832-generalised-injectivity
d822e287
·
Wibbles in TH
·
Dec 24, 2015
wip/T11224
0f34a921
·
More WIP; basically done now.
·
Dec 21, 2015
wip/az-anndotdot
0bfa7276
·
Fix AnnDotDot in module export
·
Dec 21, 2015
wip/T11067
b6a71da3
·
Documentation
·
Dec 09, 2015
wip/T11168
45c98daf
·
Tweak use of AC_USE_SYSTEM_EXTENSIONS
·
Dec 06, 2015
wip/T11028-2
b43b6b0c
·
Refactor ConDecl
·
Dec 05, 2015
wip/T11028
410b6477
·
Refactor ConDecl
·
Dec 01, 2015
wip/spj-wildcard-refactor
744d4b00
·
Merge remote-tracking branch 'origin/master' into wip/spj-wildcard-refactor
·
Dec 01, 2015
wip/ghc710-aix
3c2fb6bb
·
WIP: local random AIX hacks
·
Nov 17, 2015
wip/custom-type-errors
3f82e932
·
Add some tests.
·
Nov 11, 2015
wip/T10918
761639c6
·
Make Call Arity aggressive only in the second run
·
Nov 06, 2015
wip/orf-reboot
5a1b4f81
·
Merge remote-tracking branch 'origin/master' into wip/orf-reboot
·
Oct 16, 2015
wip/T10874
a4738680
·
Merge new commands from ghci-ng (re #10874)
·
Sep 13, 2015
wip/T10858
25d72fbf
·
Move thenCmp to GHC.Classes
·
Sep 09, 2015
wip/T10803
75cf1ef0
·
First part of implementing TypeSignatureSections
·
Aug 28, 2015
wip/pretty
8e62060a
·
Special-case reduce for horiz/vert
·
Aug 15, 2015
wip/type-app
b346f486
·
User manual wibbles
·
Aug 08, 2015
wip/ggreif
ae636d05
·
BranchList refactoring
·
Aug 04, 2015
wip/impredicativity
d737c812
·
Add instantiation in rule checking
·
Aug 04, 2015
wip/T10527-2
9e4908b6
·
Add an ambient Id substitution to Subst
·
Jul 08, 2015
Prev
1
…
174
175
176
177
178
179
180
181
182
Next