Skip to content
GitLab
  • Explore
  • Sign in
  • Software
  • Merge requests
  • Open 8
  • Merged 70
  • Closed 2
  • All 80
  • Rationals
    copar!9 · created Nov 15, 2018 by Thorsten Wißmann
    • Merged
    • 0
    updated Nov 16, 2018
  • Use exact comparision for doubles
    copar!8 · created Nov 15, 2018 by Thorsten Wißmann
    • Merged
    • 2
    updated Nov 16, 2018
  • Rename the functor H to F
    copar!7 · created Nov 09, 2018 by Thorsten Wißmann
    • Merged
    • 0
    updated Nov 09, 2018
  • Functor subexpression absorbing
    copar!6 · created Oct 27, 2018 by Thorsten Wißmann
    • Merged
    • 7
    updated Nov 02, 2018
  • Features/true monoids
    copar!5 · created Oct 23, 2018 by Thorsten Wißmann
    • Merged
    • 0
    updated Oct 25, 2018
  • Add build script that wraps stack
    copar!3 · created Jul 26, 2018 by Thorsten Wißmann
    • Merged
    • 3
    updated Jul 29, 2018
  • Exponentials
    copar!2 · created Jul 18, 2018 by Thorsten Wißmann
    • Merged
    • 0
    updated Jul 19, 2018
  • Polynomial functor
    copar!1 · created Jul 17, 2018 by Thorsten Wißmann
    • Merged
    • 0
    updated Jul 18, 2018
  • Docu
    gqm-coq!2 · created Jun 08, 2018 by Michael Sammler
    • Merged
    • 0
    updated Jun 08, 2018
  • added ci
    gqm-coq!1 · created Apr 25, 2018 by Michael Sammler
    • Merged
    • 0
    updated Apr 25, 2018
  • Prev
  • 1
  • 2
  • 3
  • 4
  • Next