Commits · master · Fredrik Wieczerkowski / curry-libs

12 Dec, 2021 1 commit
- Add Eq instance for 6-tuples · 151033ed
  Michael Hanus authored Dec 12, 2021
  
  151033ed
09 Dec, 2021 2 commits
- Merge branch 'kics2' into 'master' · a282705a
  Michael Hanus authored Dec 09, 2021
```
Update libraries for KiCS2

See merge request curry/curry-libs!14
```
  a282705a
- Merge branch 'master' into 'kics2' · 8556c63f
  Michael Hanus authored Dec 09, 2021
```
# Conflicts:
#   src/Prelude.curry
```
  8556c63f
03 Dec, 2021 1 commit
- Update Go externals · 76927fc9
  Michael Hanus authored Dec 03, 2021
  
  76927fc9
08 Oct, 2021 2 commits
- Fix typo · f33c8cd3
  Michael Hanus authored Oct 08, 2021
  
  f33c8cd3
- Fix functional pattern unification w.r.t. mutable values (due to problem with SICStus 4.7) · e1cb84c1
  Michael Hanus authored Oct 08, 2021
  
  e1cb84c1
04 Oct, 2021 1 commit
- Export showTuple, add comments · 9b53c3df
  Michael Hanus authored Oct 04, 2021
  
  9b53c3df
07 Jul, 2021 1 commit
- Add Read/Show for 6-tuples · b642849b
  Michael Hanus authored Jul 07, 2021
  
  b642849b
24 Jun, 2021 1 commit
- Synched with Curry2Go · c5e2ddec
  Michael Hanus authored Jun 24, 2021
  
  c5e2ddec
18 Jun, 2021 1 commit
- Synched with Curry2Go · 990e20bd
  Michael Hanus authored Jun 18, 2021
  
  990e20bd
16 Jun, 2021 1 commit
- Add reference to Curry2Go · 6966e5bc
  Michael Hanus authored Jun 16, 2021
  
  6966e5bc
15 Jun, 2021 1 commit
- Synch with curry2go · ec09cc1b
  Michael Hanus authored Jun 15, 2021
  
  ec09cc1b
07 Jun, 2021 1 commit
- Updates for curry2go · cffa3fa5
  Michael Hanus authored Jun 07, 2021
  
  cffa3fa5
20 Apr, 2021 1 commit
- Synched with Curry2Go · a85820f6
  Michael Hanus authored Apr 20, 2021
  
  a85820f6
13 Apr, 2021 1 commit
- Merge branch 'fix-is-bin-digit' into 'master' · 5d0f5ae9
  Michael Hanus authored Apr 13, 2021
```
Fix isBinDigit

See merge request !15
```
  5d0f5ae9
12 Apr, 2021 1 commit
- Fix isBinDigit · 332f9a67
  Fredrik Wieczerkowski authored Apr 12, 2021
  
  332f9a67
09 Apr, 2021 1 commit
- Remove PAKCS-specific definition in `Applicative IO` instance (replaced by... · 3f51e999
  Michael Hanus authored Apr 09, 2021
```
Remove PAKCS-specific definition in `Applicative IO` instance (replaced by handling in `Prelude.pakcs`)
```
  3f51e999
06 Apr, 2021 1 commit
- Updates w.r.t. Curry2Go compiler · fdc5b037
  Michael Hanus authored Apr 06, 2021
  
  fdc5b037
24 Mar, 2021 1 commit
- curry2go external implementations improved · ba3c89c6
  Michael Hanus authored Mar 24, 2021
  
  ba3c89c6
18 Mar, 2021 1 commit
- Add external implementations for curry2go · 21062440
  Michael Hanus authored Mar 18, 2021
  
  21062440
17 Mar, 2021 2 commits
- Specialization to PAKCS removed in the prelude to make it compatible to other... · cce8a0f7
  Michael Hanus authored Mar 17, 2021
```
Specialization to PAKCS removed in the prelude to make it compatible to other compilers, like Curry2Go
```
  cce8a0f7
- Remove hWaitForInputOrMsg and hWaitForInputsOrMsg (now part of package `ports`) · 21a19517
  Michael Hanus authored Mar 17, 2021
  
  21a19517
24 Feb, 2021 1 commit
- Shadowing removed · 8a9da53d
  Michael Hanus authored Feb 24, 2021
  
  8a9da53d
23 Feb, 2021 4 commits
- Compile (=:<=) conditionally for KiCS2 · c2c7869b
  Fredrik Wieczerkowski authored Feb 23, 2021
  
  c2c7869b
- Fix implementation of lteqInteger for KiCS2 · 1ebb397f
  Fredrik Wieczerkowski authored Feb 23, 2021
  
  1ebb397f
- Compile constrEq only for PAKCS · 3fcf4193
  Fredrik Wieczerkowski authored Feb 23, 2021
  
  3fcf4193
- Compile seqIO only for PAKCS · a8cef74a
  Fredrik Wieczerkowski authored Feb 23, 2021
  
  a8cef74a
22 Feb, 2021 2 commits
- Version file updated · 7f218555
  Michael Hanus authored Feb 22, 2021
  
  7f218555
- Avoid recursive lets in definition of Applicative.some/many · dbf2a3f1
  Michael Hanus authored Feb 22, 2021
  
  dbf2a3f1
04 Feb, 2021 2 commits
- Adapt Prelude.kics2 to renamings of external operations · 1cf038d1
  Michael Hanus authored Oct 12, 2020 and Fredrik Wieczerkowski committed Feb 04, 2021
  
  1cf038d1
- Apply KiCS2-specific fixes · 45b9764c
  Fredrik Wieczerkowski authored Feb 04, 2021
  
  45b9764c
18 Jan, 2021 1 commit
- Export `constrEq` since it is required by the strict equality optimizer · 24848f37
  Michael Hanus authored Jan 18, 2021
  
  24848f37
06 Jan, 2021 1 commit
- Operation (/==) added · 946157c0
  Michael Hanus authored Jan 06, 2021
  
  946157c0
05 Jan, 2021 1 commit
- Comments to non-strict unification added · 81e6995b
  Michael Hanus authored Jan 05, 2021
  
  81e6995b
21 Dec, 2020 1 commit
- Tests and comments updated · 7712a787
  Michael Hanus authored Dec 21, 2020
  
  7712a787
15 Dec, 2020 1 commit
- Migration guide extended · 8f107479
  Michael Hanus authored Dec 15, 2020
  
  8f107479
14 Dec, 2020 1 commit
- DET/PEVAL re-added to Prelude · d96aeb92
  Michael Hanus authored Dec 14, 2020
  
  d96aeb92
13 Dec, 2020 2 commits
- Merge branch 'void' into 'master' · ec255acf
  Michael Hanus authored Dec 13, 2020
```
Add Control.Monad.void

See merge request curry/curry-libs!13
```
  ec255acf
- Add Control.Monad.void · 14fdc721
  Fredrik Wieczerkowski authored Dec 13, 2020
  
  14fdc721
09 Dec, 2020 1 commit
- Add type context to unification by using an implicit external operation · 7d51d046
  Michael Hanus authored Dec 09, 2020
  
  7d51d046