Gabriella439 / Gabriella439/Haskell-Morte-Library
Consider using the `bound` library
Open
- Dominant language
- Haskell
- Stars
- 384
- Forks
- 25
- PR merge metrics
- No merged PRs in 30d
Description
Since normalization performance probably relies on efficient substitution etc., would you be interested in accepting a PR which uses the [`bound`](https://hackage.haskell.org/package/bound) library?
If so, I'll see what I can do!
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.