0.2.0

Danny Willems

@dannywillems

38b0a080 · Bump up version to 0.2.0 · Jul 07, 2020

Release: 0.2.0

- `zero` and `one` are not functions anymore, but evaluated values.
- Add infix operators for `add`, `mul`, `div_exn`, `negate`, `eq`.
- rename `inverse` in `inverse_exn` and use `Division_by_zero`.
- improve documentation