Commits · master · curry-packages / finite-map · GitLab

Snippets Groups Projects

May 27, 2021
- `Data.Map` removed (since it is part of package `containers`) · 826dce2a
  Michael Hanus authored 3 years ago
  
  View commits for tag v3.0.0 v3.0.0
  
  826dce2a
- Merge branch 'master' into 'master' · 19d10542
  Michael Hanus authored 3 years ago
  
  Update to base version 3.0.0 See merge request !1
  19d10542
- Adapt to version 3 · a51d6dec
  Niels Bunkenburg authored 3 years ago
  
  a51d6dec
- Merge remote-tracking branch 'origin/libs_refactor' · dd0dd417
  Niels Bunkenburg authored 3 years ago
  
  dd0dd417
Mar 24, 2019
- Update for base-2.0.0 · 6433c7d2
  Kai-Oliver Prott authored 6 years ago
  
  6433c7d2
Jan 03, 2019
- Library FiniteMap packaged · a8c898b5
  Michael Hanus authored 6 years ago
  
  View commits for tag v0.0.1 v0.0.1
  
  a8c898b5