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}}
Created date
Existentials
!1
· created
Apr 15, 2016
by
Finn Teegen
Closed
1
updated
Oct 18, 2017
file headers: Replace non-license name OtherLicense by the license name of what …
!2
· created
Dec 21, 2016
by
Mike Gabriel
Merged
updated
Oct 18, 2017
curry-frontend.cabal: Post-release version fix in .cabal file.
!3
· created
Dec 21, 2016
by
Mike Gabriel
Merged
updated
Oct 18, 2017
Case mode
!4
· created
May 21, 2017
by
Kai Prott
Closed
updated
Jun 01, 2017
Typed flat curry
!5
· created
Jul 03, 2018
by
Kai Prott
Closed
updated
Jul 11, 2018
Remove duplicate warnings for top-level patterns
!6
· created
Jul 11, 2018
by
Kai Prott
Merged
updated
Jul 11, 2018
WIP: Warn for redundant context
!7
· created
Jul 11, 2018
by
Kai Prott
Closed
1
updated
Mar 20, 2019
Add SpanInfos to AST
!8
· created
Nov 02, 2018
by
Kai Prott
Feature
Merged
updated
Nov 13, 2018
Fix incorrect typecheck for typeclasses
!9
· created
Dec 09, 2018
by
Kai Prott
Bug
Merged
updated
Jan 16, 2019
Fix Type-Check for instance declarations with ambiguous funtion names
!10
· created
Apr 03, 2019
by
Kai Prott
Merged
5
updated
Apr 04, 2019
Modernize the HTML output
!11
· created
Apr 23, 2019
by
Jan-Hendrik Matthes
Merged
1
updated
Apr 25, 2019
Add config file for stylish-haskell
!12
· created
Apr 23, 2019
by
Jan-Hendrik Matthes
Merged
1
updated
Apr 25, 2019
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
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
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
Version3
!16
· created
Nov 04, 2019
by
Kai Prott
Merged
updated
Feb 03, 2020
Add support for the `ExplicitForAll` language extension
!17
· created
Nov 19, 2019
by
Jan-Hendrik Matthes
Feature
Merged
2
updated
Nov 19, 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
WIP: Add support for the `ScopedTypeVariables` language extension
!19
· created
Dec 02, 2019
by
Jan-Hendrik Matthes
Feature
updated
Dec 25, 2019
Add Kind information to explicitly bound type variables
!20
· created
Jan 24, 2020
by
Kai Prott
Merged
updated
Jan 28, 2020
Prev
1
2
3
4
5
Next