Commits · master · curry-packages / base

31 Aug, 2020 1 commit
- Few bug fixes for SWI-Prolog · a2348881
  Michael Hanus authored Aug 31, 2020
  
  a2348881
28 Aug, 2020 1 commit
- Implementations of PAKCS/Prolog builtins updated · e7973c09
  Michael Hanus authored Aug 28, 2020
  
  e7973c09
25 Aug, 2020 1 commit
- Adapted from PAKCS 2.2.1 · 3a007ad8
  Michael Hanus authored Aug 25, 2020
  
  3a007ad8
21 Aug, 2020 1 commit
- Prelude externals adapted to PAKCS 2.2.1 · f24107fb
  Michael Hanus authored Aug 21, 2020
  
  f24107fb
22 Oct, 2019 1 commit
- Style improvements, synched with PAKCS libs · 747d99bc
  Michael Hanus authored Oct 22, 2019
  
  747d99bc
26 Apr, 2019 1 commit
- Operation length simplified, chr made total, more Show instances for tuples · 1aa56b6c
  Michael Hanus authored Apr 26, 2019
  
  1aa56b6c
04 Jan, 2019 1 commit
- Profile removed · 5df0278b
  Michael Hanus authored Jan 05, 2019
  
  5df0278b
03 Jan, 2019 2 commits
- tests updated · 4c302e57
  Michael Hanus authored Jan 03, 2019
  
  4c302e57
- Synched with lib-trunk · 86990b8a
  Michael Hanus authored Jan 03, 2019
  
  86990b8a
02 Jan, 2019 1 commit
- Test.EasyCheck removed (Test.Prop is sufficient) · 1b7709e3
  Michael Hanus authored Jan 02, 2019
  
  1b7709e3
29 Dec, 2018 1 commit
- Synched with current lib-trunk · ceb3fffd
  Michael Hanus authored Dec 29, 2018
  
  ceb3fffd
23 Dec, 2018 1 commit
- Base packaged synched to libs of PAKCS 2.1.0 · d8ef9ec6
  Michael Hanus authored Dec 23, 2018
  
  d8ef9ec6
19 Dec, 2018 2 commits
- Array removed · a8e67a81
  Michael Hanus authored Dec 19, 2018
  
  a8e67a81
- Distribution, Findall, SetFunctions updated according to current lib-trunk version · 3a437f95
  Michael Hanus authored Dec 19, 2018
  
  3a437f95
18 Dec, 2018 1 commit
- Fixes unintended character in strong constant · 36bd2bb5
  Michael Hanus authored Dec 18, 2018
  
  36bd2bb5
09 Oct, 2018 1 commit
- Specification of sort operations improved · 022fdb45
  Michael Hanus authored Oct 09, 2018
  
  022fdb45
30 Aug, 2018 1 commit
- Consistency with current PAKCS/KiCS2 system libraries improved · 72029483
  Michael Hanus authored Aug 30, 2018
  
  72029483
18 Jan, 2018 1 commit
- Prelude and SetFunctions updated · bac1c8ef
  Michael Hanus authored Jan 18, 2018
  
  bac1c8ef
09 Jan, 2018 1 commit
- fromInteger->fromInt, fromRational->fromFloat · c7df02b3
  Michael Hanus authored Jan 09, 2018
  
  c7df02b3
07 Jan, 2018 1 commit
- deriving Read added to Time datatypes, fix 'callFrontend' for calls with "complex" module paths · d3c7c669
  Michael Hanus authored Jan 07, 2018
  
  d3c7c669
05 Dec, 2017 1 commit
- Test.Prop updated · aa8db753
  Michael Hanus authored Dec 05, 2017
  
  aa8db753
01 Dec, 2017 1 commit
- Format.curry: bug fix for formatting ``format "%04.2f",0.999'' · 7bc0641f
  Michael Hanus authored Dec 01, 2017
  
  7bc0641f
27 Nov, 2017 2 commits
- source added · 2d945f11
  Michael Hanus authored Nov 27, 2017
  
  2d945f11
- Base libraries packaged · 62e9fadf
  Michael Hanus authored Nov 27, 2017
  
  62e9fadf