Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
C
CoPaR
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
1
Issues
1
List
Boards
Labels
Service Desk
Milestones
Merge Requests
4
Merge Requests
4
Operations
Operations
Environments
Analytics
Analytics
Repository
Value Stream
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Software
CoPaR
Merge Requests
Open
4
Merged
35
Closed
2
All
41
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{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}}
Created date
Priority
Created date
Last updated
Milestone due date
Popularity
Label priority
small cleanup
!41
· opened
Oct 19, 2020
by
Bastian Kauschke
0
updated
Oct 19, 2020
update ghc, use a newtype as parser error
!39
· opened
Oct 14, 2020
by
Bastian Kauschke
5
updated
Oct 19, 2020
WIP: Specialize
!15
· opened
Feb 24, 2020
by
Hans-Peter Deifel
0
updated
Feb 24, 2020
WIP: WEB!
!11
· opened
Dec 13, 2018
by
Thorsten Wißmann
1
updated
Dec 13, 2018
