Commits · master · Nicola Botta / BlodwenLibs

07 Nov, 2018 1 commit
- Testing Wed, 24 Oct 2018 fix. · a9e931b0
  Nicola Botta authored Nov 07, 2018
  
  a9e931b0
04 Oct, 2018 3 commits
- Sketch of (Finite a, AllDecidable a p) => Decidable (Exists a p). · 63e28cd8
  Nicola Botta authored Oct 04, 2018
  
  63e28cd8
- Documenting the (AllDecidable a p) => AllDecidable (Vect n a) (Any p) issue. · 83d1d7e3
  Nicola Botta authored Oct 04, 2018
  
  83d1d7e3
- Documenting the (AllDecidable a p) => AllDecidable (Vect n a) (Any p) issue. · f8d577d5
  Nicola Botta authored Oct 04, 2018
  
  f8d577d5
02 Oct, 2018 1 commit
- Adding more examples of deduction schemes from IdrisLibs.Finite.Properties. · 6165a885
  Nicola Botta authored Oct 02, 2018
  
  6165a885
01 Oct, 2018 9 commits
- Added some ideas about interfaces to README and Finite.Finite. · 9f6cf902
  Nicola Botta authored Oct 01, 2018
  
  9f6cf902
- Notes Sept. 18-28. · b1e98b72
  Nicola Botta authored Oct 01, 2018
  
  b1e98b72
- Notes Sept. 18-28. · 6e0b4a68
  Nicola Botta authored Oct 01, 2018
  
  6e0b4a68
- Notes Sept. 18-28. · cc57f51a
  Nicola Botta authored Oct 01, 2018
  
  cc57f51a
- Notes Sept. 18-28. · 638e0fc3
  Nicola Botta authored Oct 01, 2018
  
  638e0fc3
- Notes Sept. 18-28. · 2491226c
  Nicola Botta authored Oct 01, 2018
  
  2491226c
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/BlodwenLibs · 74a14e22
  Nicola Botta authored Oct 01, 2018
  
  74a14e22
- Notes Sept. 18-28. · 37628479
  Nicola Botta authored Oct 01, 2018
  
  37628479
- Initial revision. · 73b551e1
  Nicola Botta authored Oct 01, 2018
  
  73b551e1
27 Sep, 2018 4 commits
- Vect.{impty:38} introduced at Vect.blod:12:37--12:39. · 08b5cc2c
  Nicola Botta authored Sep 27, 2018
  
  08b5cc2c
- Issue: 'Undefined name n'. · 577d8df1
  Nicola Botta authored Sep 27, 2018
  
  577d8df1
- Initial reviaion. · 2c0ba021
  Nicola Botta authored Sep 27, 2018
  
  2c0ba021
- Initial reviaion. · dee4039a
  Nicola Botta authored Sep 27, 2018
  
  dee4039a
17 Sep, 2018 1 commit
- Initial revision. · ea8117d4
  Nicola Botta authored Sep 17, 2018
  
  ea8117d4
14 Sep, 2018 8 commits
- Initial revision. · df546af3
  Nicola Botta authored Sep 14, 2018
  
  df546af3
- Initial revision. · 10211996
  Nicola Botta authored Sep 14, 2018
  
  10211996
- Initial revision. · c9e44837
  Nicola Botta authored Sep 14, 2018
  
  c9e44837
- Initial revision. · 3fff2258
  Nicola Botta authored Sep 14, 2018
  
  3fff2258
- Added comments. · c1cb98e1
  Nicola Botta authored Sep 14, 2018
  
  c1cb98e1
- Initial revision. · fbfccb12
  Nicola Botta authored Sep 14, 2018
  
  fbfccb12
- Initial revision. · a67bb278
  Nicola Botta authored Sep 14, 2018
  
  a67bb278
- Initial revision. · c53556e0
  Nicola Botta authored Sep 14, 2018
  
  c53556e0
13 Sep, 2018 2 commits
- Blowden -> Blodwen. · d3fd666e
  Nicola Botta authored Sep 13, 2018
  
  d3fd666e
- Initial commit · 3fd33f76
  Nicola Botta authored Sep 13, 2018
  
  3fd33f76