Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
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
Add support for implied language extensions (and let NoImplicitPrelude imply NoDataDeriving)
!57
· created
Jun 19, 2022
by
Fredrik Wieczerkowski
MERGED
0
updated
Jul 08, 2022
Implement warning for shadowed imported names (-Wimport-name-shadowing)
3 of 3 checklist items completed
!54
· created
Mar 03, 2022
by
Fredrik Wieczerkowski
Enhancement
Feature
MERGED
Approved
1
updated
Nov 22, 2022
Improve frontend usability as a library
!58
· created
Jul 13, 2022
by
Kai Prott
MERGED
1
4
updated
Nov 22, 2022
Make stack path configurable in Makefile
!52
· created
Mar 02, 2022
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Nov 22, 2022
Add CI pipeline
2 of 2 checklist items completed
!51
· created
Mar 01, 2022
by
Fredrik Wieczerkowski
Enhancement
MERGED
0
updated
Nov 22, 2022
Replace remaining uses of 'cymake' with 'frontend'
!59
· created
Nov 22, 2022
by
Fredrik Wieczerkowski
MERGED
0
updated
Dec 13, 2022
Add .DS_Store to gitignore
!60
· created
Dec 20, 2022
by
Fredrik Wieczerkowski
MERGED
0
updated
Jan 30, 2023
Default to using kielExtensions and deprecate --extended
!61
· created
Feb 05, 2023
by
Fredrik Wieczerkowski
MERGED
0
updated
Feb 06, 2023
Prev
1
2
3
Next