Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Bodigrim/integer-roots issues and pull requests

#4 - Add Rewrite Rule for `integerSquareRoot'` on `Natural`

Pull Request - State: closed - Opened by julmb 9 months ago - 1 comment

#3 - Test failure on big endian

Issue - State: closed - Opened by AdrianBunk about 1 year ago - 1 comment

#2 - Please support ghc 9.4

Issue - State: closed - Opened by danwdart about 2 years ago - 1 comment

#1 - Support GHC 9.2

Issue - State: closed - Opened by Bodigrim over 3 years ago