Issues · curry / pakcs · GitLab

Different implementation for PAKCS in Applicative IO - instance

#24 · opened Feb 10, 2020 by Kai Prott Refactoring
- 0
updated Feb 10, 2020
Wrong solutions for combination of blackhole and non-determinism

#1 · opened Dec 16, 2015 by Michael Hanus Bug
- 0
updated Nov 08, 2019
make build parallelizable

#2 · opened Dec 23, 2016 by Mike Gabriel Feature
- 0
updated Nov 08, 2019
Wrong solutions for combination of blackhole and non-determinism

#6 · opened Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
PAKCS does not list all solutions

#7 · opened Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
Problem when using Global and where-clause

#8 · opened Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
file path with whitespaces

#9 · opened Jun 02, 2017 by Sandra Dylus Bug
- 0
updated Nov 08, 2019
Type defaulting results in type error

#12 · opened Oct 24, 2017 by Finn Teegen Bug
- 1
updated Nov 08, 2019
Import currydox.tex instead of copying definitions into the libaries.tex file

#17 · opened Jul 11, 2018 by Kai Prott Refactoring
- 0
updated Nov 08, 2019
Modularize PAKCS constants

#18 · opened Dec 17, 2018 by Kai Prott Refactoring
- 0
updated Nov 08, 2019
Move newtype-transformation to pakcs

#22 · opened Oct 08, 2019 by Kai Prott Feature To Do
- 1
updated Oct 28, 2019