src/Data/SumBag.hs · 1e542693728f43be25ed7973898ea870f690c837 · Informatik 8 / CoPaR · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

6 years ago
1e542693
SumBag: Make datatype strict · 1e542693
Hans-Peter Deifel authored 6 years ago
```
This means that `insert undefined bag` now evaluates to undefined in WHNF.
```
1e542693

History
SumBag: Make datatype strict
Hans-Peter Deifel authored 6 years ago
```
This means that `insert undefined bag` now evaluates to undefined in WHNF.
```