Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S Software
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 42
    • Issues 42
    • List
    • Board
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • Software
  • Merge requests
  • Open 5
  • Merged 61
  • Closed 2
  • All 68
  • Distributed Merge into Master Branch
    copar!51 · created Jun 24, 2022 by Stefan Gebhart
    • 0
    updated Jul 26, 2022
  • implement functor certificates
    copar!48 · created Apr 28, 2021 by Bastian Kauschke
    • 0
    updated Apr 28, 2021
  • update ghc, use a newtype as parser error
    copar!39 · created Oct 14, 2020 by Bastian Kauschke
    • 5
    updated Oct 19, 2020
  • WIP: Specialize
    copar!15 · created Feb 24, 2020 by Hans-Peter Deifel
    • 0
    updated Feb 24, 2020
  • WIP: WEB!
    copar!11 · created Dec 13, 2018 by Thorsten Wißmann
    • 1
    updated Dec 13, 2018