Commits · master · Nicola Botta / IdrisLibs2

05 Mar, 2021 1 commit
- Minus for non-negative doubles returns a non-negative double. · aec814fe
  Nicola Botta authored Mar 05, 2021
  
  aec814fe
19 Feb, 2021 1 commit
- Added minimization. · 8d1fff06
  Nicola Botta authored Feb 19, 2021
  
  8d1fff06
18 Feb, 2021 1 commit

NonNegDouble is now a proper ADT (instead of just 'Subset Double Positive' to... · a654b7f8

Nicola Botta authored Feb 18, 2021

NonNegDouble is now a proper ADT (instead of just 'Subset Double Positive' to avoid named interfaces, 'using' clauses and poor REPL expressions.

a654b7f8

17 Feb, 2021 1 commit
- Updated after rename. · 8818bbc4
  Nicola Botta authored Feb 17, 2021
  
  8818bbc4
15 Feb, 2021 1 commit
- Added verified setInTo function modifier. · d19e084a
  Nicola Botta authored Feb 15, 2021
  
  d19e084a
03 Feb, 2021 1 commit
- Adding components needed for Responsibility section of the responsibility paper. · adabb546
  Nicola Botta authored Feb 03, 2021
  
  adabb546
21 Jan, 2021 1 commit
- Added components for the implementation of 'next'. · f1c63eac
  Nicola Botta authored Jan 21, 2021
  
  f1c63eac
13 Jan, 2021 1 commit
- Adding components needed for the responsibility manuscript. · c615cf82
  Nicola Botta authored Jan 13, 2021
  
  c615cf82
21 Dec, 2020 29 commits
- Initial. · be8971ff
  Nicola Botta authored Dec 21, 2020
  
  be8971ff
- Cleanup. · 66caaa2d
  Nicola Botta authored Dec 21, 2020
  
  66caaa2d
- Initial. · 32afa394
  Nicola Botta authored Dec 21, 2020
  
  32afa394
- Initial. · 3f88ca4e
  Nicola Botta authored Dec 21, 2020
  
  3f88ca4e
- Initial. · ab915621
  Nicola Botta authored Dec 21, 2020
  
  ab915621
- Initial. · 1248c4ed
  Nicola Botta authored Dec 21, 2020
  
  1248c4ed
- Initial. · 0c7ecb4c
  Nicola Botta authored Dec 21, 2020
  
  0c7ecb4c
- Cleanup. · 0d9842b5
  Nicola Botta authored Dec 21, 2020
  
  0d9842b5
- Initial. · 28a04426
  Nicola Botta authored Dec 21, 2020
  
  28a04426
- Cleanup. · 17894129
  Nicola Botta authored Dec 21, 2020
  
  17894129
- Initial. · 803e5640
  Nicola Botta authored Dec 21, 2020
  
  803e5640
- Cleanup. · ce78ba12
  Nicola Botta authored Dec 21, 2020
  
  ce78ba12
- Initial. · af5054f9
  Nicola Botta authored Dec 21, 2020
  
  af5054f9
- Initial. · 91879f03
  Nicola Botta authored Dec 21, 2020
  
  91879f03
- Cleanup. · ef9b7f72
  Nicola Botta authored Dec 21, 2020
  
  ef9b7f72
- Initial. · 739dd8b3
  Nicola Botta authored Dec 21, 2020
  
  739dd8b3
- Initial. · 6176d58e
  Nicola Botta authored Dec 21, 2020
  
  6176d58e
- Cleanup. · cb037b89
  Nicola Botta authored Dec 21, 2020
  
  cb037b89
- Initial. · e53a0cc0
  Nicola Botta authored Dec 21, 2020
  
  e53a0cc0
- Initial. · b480e17d
  Nicola Botta authored Dec 21, 2020
  
  b480e17d
- Initial. · 4f8a19f6
  Nicola Botta authored Dec 21, 2020
  
  4f8a19f6
- Initial. · e59779e5
  Nicola Botta authored Dec 21, 2020
  
  e59779e5
- Initial. · 884df118
  Nicola Botta authored Dec 21, 2020
  
  884df118
- Initial. · eda5a110
  Nicola Botta authored Dec 21, 2020
  
  eda5a110
- Initial. · 7f0148a6
  Nicola Botta authored Dec 21, 2020
  
  7f0148a6
- Initial. · e3998e5b
  Nicola Botta authored Dec 21, 2020
  
  e3998e5b
- Initial. · 7b604f9a
  Nicola Botta authored Dec 21, 2020
  
  7b604f9a
- Initial. · 5fbc648f
  Nicola Botta authored Dec 21, 2020
  
  5fbc648f
- Initial. · 9b6217ff
  Nicola Botta authored Dec 21, 2020
  
  9b6217ff
24 Nov, 2020 1 commit
- Added example. · 6e6f0136
  Nicola Botta authored Nov 24, 2020
  
  6e6f0136
23 Nov, 2020 2 commits
- Adding example and memoisation. · 9f0f0c19
  Nicola Botta authored Nov 23, 2020
  
  9f0f0c19
- Cleanup. · d1f4e8b4
  Nicola Botta authored Nov 23, 2020
  
  d1f4e8b4