Merge requests · Software

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