- 19 Jul, 2022 3 commits
-
-
Michael Hanus authored -
Michael Hanus authored
Add Data.Functor.Compose See merge request !17
-
Michael Hanus authored
Add Data.Functor.Const See merge request !16
-
- 18 Jul, 2022 1 commit
-
-
Michael Hanus authored
Replace empty #elif directives with #else See merge request !18
-
- 14 Jul, 2022 1 commit
-
-
Fredrik Wieczerkowski authored
-
- 11 Mar, 2022 3 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 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 curry/curry-libs!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
-
