Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
C
curry
  • Group overview
    • Group overview
    • Details
    • Activity
  • Issues 119
    • Issues 119
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 9
    • Merge Requests 9
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Members
    • Members
Collapse sidebar
  • curry
  • Merge Requests

  • Open 9
  • Merged 73
  • Closed 14
  • All 96
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • Remove Prelude qualifier from built-in types
    curry-frontend!40 · opened Nov 20, 2020 by Finn Teegen
    • 0
    updated Nov 20, 2020
  • WIP: Generate newtypes correctly
    kics2!5 · opened Oct 29, 2020 by Fredrik Wieczerkowski   update-frontend
    • 0
    updated Oct 31, 2020
  • WIP: Update KiCS2 to compile with the new frontend
    kics2!4 · opened Oct 21, 2020 by Fredrik Wieczerkowski
    • 0
    updated Oct 29, 2020
  • WIP: Update libraries for KiCS2
    curry-libs!5 · opened Oct 20, 2020 by Fredrik Wieczerkowski
    • 0
    updated Dec 18, 2020
  • WIP: Improve handling of predicated function arguments
    curry-frontend!23 · opened Feb 28, 2020 by Jan-Hendrik Matthes
    • 0
    updated Feb 28, 2020
  • WIP: Add support for the `ScopedTypeVariables` language extension
    curry-frontend!19 · opened Dec 02, 2019 by Jan-Hendrik Matthes   Feature
    • 0
    updated Dec 25, 2019
  • WIP: Add support for the `ScopedTypeVariables` language extension
    curry-base!14 · opened Dec 02, 2019 by Jan-Hendrik Matthes   Feature
    • 0
    updated Dec 02, 2019
  • Allow version pinning
    kics2!1 · opened Mar 20, 2019 by Jan Path
    • 0
    updated Mar 20, 2019
  • Allow pinning of LIBDEPS package versions
    curry-libs!4 · opened Mar 20, 2019 by Jan Path
    • 0
    updated Mar 20, 2019