- 12 Dec, 2021 1 commit
-
-
Michael Hanus authored
-
- 09 Dec, 2021 2 commits
-
-
Michael Hanus authored
Update libraries for KiCS2 See merge request curry/curry-libs!14
-
Michael Hanus authored
# Conflicts: # src/Prelude.curry
-
- 03 Dec, 2021 1 commit
-
-
Michael Hanus authored
-
- 08 Oct, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 04 Oct, 2021 1 commit
-
-
Michael Hanus authored
-
- 07 Jul, 2021 1 commit
-
-
Michael Hanus authored
-
- 24 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 18 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 16 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 15 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 07 Jun, 2021 1 commit
-
-
Michael Hanus authored
-
- 20 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 13 Apr, 2021 1 commit
-
-
Michael Hanus authored
Fix isBinDigit See merge request !15
-
- 12 Apr, 2021 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 09 Apr, 2021 1 commit
-
-
Michael Hanus authored
Remove PAKCS-specific definition in `Applicative IO` instance (replaced by handling in `Prelude.pakcs`)
-
- 06 Apr, 2021 1 commit
-
-
Michael Hanus authored
-
- 24 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 18 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 17 Mar, 2021 2 commits
-
-
Michael Hanus authored
Specialization to PAKCS removed in the prelude to make it compatible to other compilers, like Curry2Go
-
Michael Hanus authored
-
- 24 Feb, 2021 1 commit
-
-
Michael Hanus authored
-
- 23 Feb, 2021 4 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 22 Feb, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 04 Feb, 2021 2 commits
-
-
-
Fredrik Wieczerkowski authored
-
- 18 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 06 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 05 Jan, 2021 1 commit
-
-
Michael Hanus authored
-
- 21 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 15 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 14 Dec, 2020 1 commit
-
-
Michael Hanus authored
-
- 13 Dec, 2020 2 commits
-
-
Michael Hanus authored
Add Control.Monad.void See merge request curry/curry-libs!13
-
Fredrik Wieczerkowski authored
-
- 09 Dec, 2020 1 commit
-
-
Michael Hanus authored
-