Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry-packages
Merge requests
Open
7
Merged
28
Closed
2
All
37
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 outdir to frontend params
frontend-exec!3
· created
Feb 04, 2021
by
Fredrik Wieczerkowski
libs_refactor
Enhancement
MERGED
Approved
0
updated
Mar 03, 2022
Use records and add parameter for specifying path to frontend executable
frontend-exec!2
· created
Dec 14, 2020
by
Fredrik Wieczerkowski
libs_refactor
MERGED
Approved
0
updated
Mar 03, 2022
Add analysis for Sibling constructors with corresponding type declaration
cass!1
· created
Mar 03, 2022
by
Niels Bunkenburg
MERGED
Approved
0
updated
Mar 03, 2022
Add type declaration to sibling constructor analysis
cass-analysis!1
· created
Mar 01, 2022
by
Niels Bunkenburg
MERGED
Approved
0
updated
Mar 01, 2022
Add Data.Set.deleteAll
containers!2
· created
Apr 14, 2021
by
Fredrik Wieczerkowski
MERGED
Approved
2
updated
Dec 13, 2021
Fix dictionary arg in ValueSequence.kics2
searchtree!1
· created
Dec 07, 2021
by
Fredrik Wieczerkowski
MERGED
0
updated
Dec 07, 2021
Replace deprecated `fdSocket` in Socket.kics2
socket!3
· created
Jun 14, 2021
by
Fredrik Wieczerkowski
MERGED
Approved
0
updated
Jun 15, 2021
Update to base-3.0.0
smtlib-solver!1
· created
May 28, 2021
by
Niels Bunkenburg
MERGED
Approved
0
updated
May 31, 2021
Update to base-3.0.0, replace FiniteMap with Data.Map, replace custom Parser combinators with combinators from Prelude
smtlib!1
· created
May 28, 2021
by
Niels Bunkenburg
MERGED
Approved
0
updated
May 31, 2021
Update to base version 3.0.0
finite-map!1
· created
May 27, 2021
by
Niels Bunkenburg
MERGED
Approved
0
updated
May 27, 2021
Fix qualifier of Curry_IO.C_Handle in Socket.kics2
socket!2
· created
Mar 21, 2021
by
Fredrik Wieczerkowski
MERGED
Approved
0
updated
Mar 22, 2021
Fix Curry_IO.C_Handle qualifier for KiCS2
io-extra!1
· created
Mar 20, 2021
by
Fredrik Wieczerkowski
MERGED
Approved
0
updated
Mar 22, 2021
Fix Curry_Time qualifier in Directory.kics2
directory!1
· created
Mar 20, 2021
by
Fredrik Wieczerkowski
MERGED
Approved
0
updated
Mar 22, 2021
Migrate to version 3
currypp!2
· created
Dec 13, 2020
by
Fredrik Wieczerkowski
MERGED
0
updated
Dec 14, 2020
Merge version 3 changes
currypp!1
· created
Nov 24, 2020
by
Fredrik Wieczerkowski
MERGED
Approved
0
updated
Dec 08, 2020
Add Data.Set
containers!1
· created
Nov 28, 2020
by
Fredrik Wieczerkowski
Enhancement
Feature
MERGED
Approved
0
updated
Nov 30, 2020
Add newtypes and kinds
abstract-haskell!1
· created
Nov 19, 2020
by
Fredrik Wieczerkowski
libs_refactor
Enhancement
MERGED
Approved
0
updated
Nov 19, 2020
Add representation of newtypes and update to version 3 libraries
flatcurry-typed!1
· created
Nov 18, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
Approved
0
updated
Nov 19, 2020
Add representation of newtypes
flatcurry-annotated!1
· created
Nov 10, 2020
by
Fredrik Wieczerkowski
libs_refactor
Enhancement
MERGED
Approved
0
updated
Nov 19, 2020
Generate a gitignore during 'cypm new'
cpm!2
· created
Nov 17, 2020
by
Fredrik Wieczerkowski
Enhancement
MERGED
Approved
0
updated
Nov 19, 2020
Prev
1
2
Next