Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-frontend
Merge requests
Open
3
Merged
48
Closed
10
All
61
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
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Updated date
Merge curry-base
!34
· created
Oct 23, 2020
by
Fredrik Wieczerkowski
Enhancement
Refactoring
MERGED
0
updated
Nov 12, 2020
Add parameter for output directory
!38
· created
Nov 05, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Nov 06, 2020
Improve message spans in TypeCheck
!37
· created
Oct 29, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Oct 30, 2020
Disable newtype desugaring by default
!36
· created
Oct 28, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Oct 29, 2020
Improve multi-line span previews
!35
· created
Oct 24, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
3
updated
Oct 28, 2020
Revert higher rank polymorphism for now
!31
· created
Jul 13, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Oct 21, 2020
Add kind information to type declarations in FlatCurry
!32
· created
Oct 17, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Oct 21, 2020
Perform qualified type constructor lookup in WarnCheck
!30
· created
Jun 23, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Oct 20, 2020
Split warnings for unreachable case branches
!29
· created
Jun 22, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Oct 20, 2020
Provide GHC-like line snippets in messages
!28
· created
Jun 09, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Oct 20, 2020
Provide span information in messages
121 of 121 checklist items completed
!26
· created
Apr 03, 2020
by
Fredrik Wieczerkowski
Refactoring
MERGED
0
updated
Oct 20, 2020
Update the readme file
!27
· created
Apr 06, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Jul 21, 2020
Add support for higher-rank polymorphism
13 of 13 checklist items completed
!14
· created
May 19, 2019
by
Jan-Hendrik Matthes
Feature
MERGED
2
updated
Jul 13, 2020
Remove support for existential quantified type variables in data type declarations
!13
· created
Apr 27, 2019
by
Jan-Hendrik Matthes
MERGED
2
updated
Jul 13, 2020
Emit correct locations for warnings about unreachable case branches
!22
· created
Feb 04, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Apr 01, 2020
Version3
!16
· created
Nov 04, 2019
by
Kai Prott
MERGED
0
updated
Feb 03, 2020
Fix guarded wildcard case warnings
!21
· created
Jan 29, 2020
by
Fredrik Wieczerkowski
MERGED
2
updated
Feb 03, 2020
Add Kind information to explicitly bound type variables
!20
· created
Jan 24, 2020
by
Kai Prott
MERGED
0
updated
Jan 28, 2020
Add support for the `ExplicitForAll` language extension
!17
· created
Nov 19, 2019
by
Jan-Hendrik Matthes
Feature
MERGED
2
updated
Nov 19, 2019
Add support for dark mode in the HTML output
!15
· created
Oct 30, 2019
by
Jan-Hendrik Matthes
Feature
MERGED
1
updated
Nov 01, 2019
Prev
1
2
3
Next