Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
1
Merged
0
Closed
3
All
4
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Implement higher order template application rule matching
8 of 8 checklist items completed
!9343
· created
Nov 14, 2022
by
Jaro Reinders
rules
Closed
81
updated
Aug 11, 2023
Document behaviour of RULES with KnownNat
!8035
· created
Apr 22, 2022
by
Bodigrim
DataKinds
documentation
rules
Closed
Approved
7
updated
Jun 16, 2022
Re-quantify when generalising over rewrite rule types
!2846
· created
Mar 09, 2020
by
Ryan Scott
9.0.1
PolyKinds
rules
typechecker
Closed
Approved
4
updated
Mar 11, 2020