Skip to content
GitLab
Explore
Sign in
Register
Open
4
Merged
66
Closed
11
All
81
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{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}}
Updated date
Case mode
!4
· created
May 21, 2017
by
Kai Prott
Closed
updated
Jun 01, 2017
Existentials
!1
· created
Apr 15, 2016
by
Finn Teegen
Closed
1
updated
Oct 18, 2017
Typed flat curry
!5
· created
Jul 03, 2018
by
Kai Prott
Closed
updated
Jul 11, 2018
WIP: Warn for redundant context
!7
· created
Jul 11, 2018
by
Kai Prott
Closed
1
updated
Mar 20, 2019
Explicitly quantify free type variables of type signatures in FlatCurry
!18
· created
Nov 21, 2019
by
Jan-Hendrik Matthes
Enhancement
Closed
2
updated
Jan 31, 2020
Fix: Add unqualified type constructor lookup as fallback in WarnCheck
!33
· created
Oct 20, 2020
by
Fredrik Wieczerkowski
Closed
1
updated
Oct 21, 2020
Add library target and specify Git-dependency on curry-base
!25
· created
Mar 27, 2020
by
Fredrik Wieczerkowski
Enhancement
Closed
1
updated
Oct 23, 2020
Clean up the .cabal file
!24
· created
Mar 22, 2020
by
Jan-Hendrik Matthes
Enhancement
Closed
1
updated
Oct 23, 2020
Upgrade Stackage snapshot to LTS 18.27
!53
· created
Mar 03, 2022
by
Fredrik Wieczerkowski
Closed
1
updated
Jul 13, 2022
Remove some unused imports
!50
· created
Mar 01, 2022
by
Fredrik Wieczerkowski
Refactoring
Closed
1
updated
Nov 22, 2022
WIP: Add MultiParamTypeClasses, , Flexible Contexts, Flexible Instances
!71
· created
Aug 10, 2023
by
Kai Prott
Feature
Closed
1
updated
Oct 08, 2024