Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mniip/finite-typelits issues and pull requests
#23 - Support ghc 9.8
Pull Request -
State: closed - Opened by turion 6 months ago
- 5 comments
#22 - cabal: bump base upper bound (support GHC 9.6)
Pull Request -
State: closed - Opened by raehik about 1 year ago
#21 - Finite ordinals are simplices — add the face and degeneracy maps for them!
Issue -
State: open - Opened by kindaro almost 2 years ago
#20 - Add `difference`
Pull Request -
State: open - Opened by jonascarpay about 4 years ago
#19 - Add Ix instance
Pull Request -
State: open - Opened by jonascarpay about 4 years ago
#18 - add 'withFinite' to pass a 'Finite' at the type level
Pull Request -
State: open - Opened by sheaf over 4 years ago
- 1 comment
#17 - Could we have exponentiation of Finites?
Issue -
State: open - Opened by kozross almost 5 years ago
- 2 comments
#16 - emptyFinite for proving Finite 0 is uninhabited
Pull Request -
State: closed - Opened by mstksg about 5 years ago
- 3 comments
#15 - Loosen constraint from Integer to Num or Integral
Issue -
State: closed - Opened by hololeap over 5 years ago
- 1 comment
#14 - Put finite-typelits on stackage
Issue -
State: closed - Opened by turion over 5 years ago
- 2 comments
#13 - Types of `add` and `multiply` are too loose
Issue -
State: open - Opened by lexi-lambda almost 6 years ago
- 5 comments
#12 - Build failure on GHC 8.4.3
Issue -
State: closed - Opened by jkachmar almost 6 years ago
- 1 comment
#11 - finite-typelits doesn't build with ghc 8.6
Issue -
State: closed - Opened by expipiplus1 almost 6 years ago
- 3 comments
#10 - General cleanup
Pull Request -
State: closed - Opened by howtonotwin over 6 years ago
- 3 comments
#9 - modClass :: Integer -> Finite n
Pull Request -
State: closed - Opened by mstksg over 6 years ago
- 1 comment
#8 - `quot` isn't modular multiplicative inverse
Issue -
State: closed - Opened by phadej over 6 years ago
- 1 comment
#7 - Add instance KnownNat n => Read (Finite n)
Pull Request -
State: closed - Opened by howtonotwin over 6 years ago
- 4 comments
#6 - Add 1<=n constraint to Bounded instance
Pull Request -
State: open - Opened by Shimuuar over 6 years ago
#5 - Generic instance allows to break data abstraction
Issue -
State: closed - Opened by Shimuuar over 6 years ago
- 12 comments
#4 - added finites, which generates all elements of Finite n
Pull Request -
State: closed - Opened by mstksg about 7 years ago
- 1 comment
#3 - Inaccurate version bounds / compile error with GHC 7.6
Issue -
State: closed - Opened by hvr over 7 years ago
- 2 comments
#2 - Perplexing orphan instances
Issue -
State: closed - Opened by bgamari over 7 years ago
#1 - Generic instance for Finite
Pull Request -
State: closed - Opened by mstksg about 8 years ago
- 1 comment