Commits · master · curry-packages / addtypes

28 Nov, 2020 1 commit
- Adapt to version3 · 9a29029f
  Michael Hanus authored Nov 29, 2020
  
  9a29029f
05 Apr, 2020 1 commit
- Description updated · ea5e58d6
  Michael Hanus authored Apr 05, 2020
  
  ea5e58d6
02 Jan, 2019 1 commit
- Imports updated · 453c2aa8
  Michael Hanus authored Jan 02, 2019
  
  453c2aa8
13 Dec, 2018 1 commit
- Imports updated · 9579abe5
  Michael Hanus authored Dec 13, 2018
  
  9579abe5
20 Nov, 2017 1 commit
- Dependency to wl-pprint added · 015c8d43
  Michael Hanus authored Nov 20, 2017
  
  015c8d43
28 Sep, 2017 2 commits
- Dependencies updated · a5e975d5
  Michael Hanus authored Sep 28, 2017
  
  a5e975d5
- Dependencies updated · d5a5fcf4
  Michael Hanus authored Sep 28, 2017
  
  d5a5fcf4
08 May, 2017 2 commits
- Typeclass branch added · 02994cc5
  Michael Hanus authored May 08, 2017
  
  02994cc5
- Compiler spec added · 7a5ed5bb
  Michael Hanus authored May 08, 2017
  
  7a5ed5bb
06 Apr, 2017 1 commit
- Category added in package spec · ad32b544
  Michael Hanus authored Apr 06, 2017
  
  ad32b544
27 Mar, 2017 2 commits
- Readme added · 7de3dafb
  Michael Hanus authored Mar 27, 2017
  
  7de3dafb
- addtypes packaged · 18780ba6
  Michael Hanus authored Mar 27, 2017
  
  18780ba6