Skip to content
GitLab
Explore
Sign in
Register
curry
Merge requests
Open
13
Merged
142
Closed
20
All
175
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}}
{{title}}
Label priority
Clean up runtime cabal generation, add idsupply flags and update defaults
kics2!17
· created
Jul 04, 2022
by
Fredrik Wieczerkowski
0
updated
Sep 05, 2022
Add support for implied language extensions (and let NoImplicitPrelude imply NoDataDeriving)
curry-frontend!57
· created
Jun 19, 2022
by
Fredrik Wieczerkowski
Merged
0
updated
Jul 08, 2022
Extract KnownTool type from Tool
curry-frontend!56
· created
Jun 17, 2022
by
Fredrik Wieczerkowski
Merged
0
updated
Jul 08, 2022
Update frontend to the master branch
kics2!16
· created
Mar 11, 2022
by
Fredrik Wieczerkowski
Merged
0
updated
Apr 22, 2022
Add Data.Functor.Compose
curry-libs!17
· created
Mar 11, 2022
by
Fredrik Wieczerkowski
Merged
0
updated
Jul 19, 2022
Add Data.Functor.Const
curry-libs!16
· created
Mar 11, 2022
by
Fredrik Wieczerkowski
Merged
0
updated
Jul 19, 2022
Draft: Unvendor System.FrontendExec again
kics2!15
· created
Mar 03, 2022
by
Fredrik Wieczerkowski
Refactoring
0
updated
Mar 03, 2022
Upgrade Stackage snapshot to LTS 18.27
curry-frontend!53
· created
Mar 03, 2022
by
Fredrik Wieczerkowski
Closed
1
updated
Jul 13, 2022
Clean up some unused imports and fix some minor style issues
kics2!14
· created
Mar 02, 2022
by
Fredrik Wieczerkowski
Refactoring
0
updated
Mar 02, 2022
Add a CI pipeline
kics2!13
· created
Jan 25, 2022
by
Fredrik Wieczerkowski
Merged
Approved
0
updated
Jan 28, 2022
Use libtinfo-dev instead of libtinfo6 in Dockerfile
kics2!12
· created
Jan 22, 2022
by
Fredrik Wieczerkowski
Merged
Approved
0
updated
Jan 24, 2022
Remove Data constraint from defaulted type variables
kics2!11
· created
Jan 10, 2022
by
Fredrik Wieczerkowski
Merged
Approved
0
updated
Jan 19, 2022
Update frontend (GHC 8.10)
pakcs!26
· created
Nov 09, 2021
by
Fredrik Wieczerkowski
Merged
2
updated
Nov 12, 2021
fix a CI todo and some cleanup
pakcs!25
· created
Jul 13, 2021
by
Bennet Bleßmann
Merged
Approved
0
updated
Jul 16, 2021
Fix failing "Test Download" scheduled Pipeline job
pakcs!24
· created
Jun 14, 2021
by
Bennet Bleßmann
Merged
0
updated
Jun 14, 2021
upgrade ghc in ci image
pakcs!23
· created
Jun 08, 2021
by
Bennet Bleßmann
Merged
0
updated
Jun 08, 2021
Fix isBinDigit
curry-libs!15
· created
Apr 12, 2021
by
Fredrik Wieczerkowski
Merged
Approved
0
updated
Apr 13, 2021
Rewrite context generation to be more concise and correct
kics2!10
· created
Mar 26, 2021
by
Fredrik Wieczerkowski
version3-new
Merged
0
updated
Mar 26, 2021
Apply KiCS2-specific fixes
curry-tools!5
· created
Mar 21, 2021
by
Fredrik Wieczerkowski
version3
Merged
Approved
0
updated
Mar 22, 2021
mention `fix_asset_link.sh` in CI Readme
pakcs!22
· created
Mar 17, 2021
by
Bennet Bleßmann
Merged
0
updated
Mar 17, 2021
Prev
1
2
3
4
5
6
7
8
9
Next