Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Issues
Open
6
Closed
14
All
20
New issue
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Unsoundness with record typing
#17
· created
Mar 01, 2017
by
Tommaso Petrucciani
Bug
Typing
1
updated
May 02, 2021
Pretty printing of arrow type could be simplified
#16
· created
Jun 07, 2016
by
Kim Nguyễn
Improvement
0
updated
Oct 16, 2017
Solving type equation with recursive types for a variable 'a does not work when 'a occurs below a union/intersection/negation
#12
· created
Mar 31, 2016
by
Kim Nguyễn
Bug
Typing
2
updated
Oct 16, 2017
Polymorphic typing of record operations
#9
· created
Mar 22, 2016
by
Kim Nguyễn
Improvement
Typing
0
updated
Oct 16, 2017
Git subtree merge needed
#6
· created
Mar 22, 2016
by
Kim Nguyễn
Improvement
Website/Documentation
0
updated
Oct 16, 2017
Fix pretty printing of Top types
#4
· created
Mar 22, 2016
by
Kim Nguyễn
Improvement
Syntax
2
updated
Oct 16, 2017
