Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
7
Closed
83
All
90
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Add a missing zonk in tcHsPartialType
!3050
· created
Apr 07, 2020
by
Simon Peyton Jones
8.10.2
HQ shepherd
Closed
17
Approved
updated
May 30, 2020
Fix a tricky specialiser loop
!3021
· created
Apr 02, 2020
by
Simon Peyton Jones
HQ shepherd
specialisation
Closed
4
updated
Apr 06, 2020
Significant refactor of Lint
!2920
· created
Mar 18, 2020
by
Simon Peyton Jones
9.0.1
HQ shepherd
Closed
86
Approved
updated
Apr 16, 2020
Give Language a Bounded instance
!2905
· created
Mar 17, 2020
by
Shayne Fletcher
9.0.1
HQ shepherd
Closed
11
1
Approved
updated
Dec 01, 2020
Avoid useless w/w split
!2873
· created
Mar 12, 2020
by
Simon Peyton Jones
HQ shepherd
demand analysis
Closed
45
Approved
updated
May 20, 2021
Implement mapTyCo like foldTyCo
!2683
· created
Feb 12, 2020
by
Simon Peyton Jones
9.0.1
HQ shepherd
Closed
13
Approved
updated
Mar 23, 2020
Simplify subsumption
!2600
· created
Feb 02, 2020
by
Simon Peyton Jones
HQ shepherd
user-facing
Merged
273
Approved
updated
Jun 05, 2020
Explicit Specificity in Type Variable Binders
!2465
· created
Jan 14, 2020
by
Gert-Jan Bottu
9.0.1
HQ shepherd
Closed
163
Approved
updated
Oct 18, 2020
Type applications in patterns
!2464
· created
Jan 13, 2020
by
cgibbard
9.2.1
HQ shepherd
Closed
285
1
Approved
updated
Sep 29, 2021
Re-engineer the binder-swap transformation
!2161
· created
Nov 12, 2019
by
Simon Peyton Jones
9.0.1
HQ shepherd
simplifier
Closed
59
Approved
updated
Apr 04, 2020
Prev
1
2
3
4
5
Next