Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / konn/type-natural issues and pull requests
#32 - Completes update
Pull Request -
State: closed - Opened by konn about 1 month ago
#31 - Support newer equational-reasoning, th-desugar, and inspection-testing
Pull Request -
State: closed - Opened by konn about 1 month ago
#30 - Supports GHC 9.10
Pull Request -
State: closed - Opened by konn 8 months ago
#29 - GHC 9.8 Support
Pull Request -
State: closed - Opened by konn about 1 year ago
#28 - Fixes gitignore
Pull Request -
State: closed - Opened by konn almost 2 years ago
#27 - Adds changelog
Pull Request -
State: closed - Opened by konn almost 2 years ago
#26 - GHC 9.6 support
Pull Request -
State: closed - Opened by konn almost 2 years ago
#25 - GHC 9.4 Support
Pull Request -
State: closed - Opened by konn about 2 years ago
#24 - Fix infinite loops in order-theoretic lemmata
Pull Request -
State: closed - Opened by konn about 3 years ago
- 2 comments
#23 - cmpZero does not terminate
Issue -
State: closed - Opened by AlexandreTunstall about 3 years ago
- 3 comments
#22 - Adds support for GHC 9.2
Pull Request -
State: closed - Opened by konn over 3 years ago
#21 - Supports GHC 9
Pull Request -
State: closed - Opened by konn almost 4 years ago
#20 - Preparation for GHC9
Pull Request -
State: closed - Opened by konn about 4 years ago
#19 - Focus on Builtin Type Nats and drops interop with singletons
Pull Request -
State: closed - Opened by konn about 4 years ago
#18 - Fixed the infinite loop in `multZeroR` in the base step of induction
Pull Request -
State: closed - Opened by Haskell-mouse almost 5 years ago
- 1 comment
#17 - Added compatibility with GHC-8.6.5
Pull Request -
State: closed - Opened by Haskell-mouse about 5 years ago
- 1 comment
#16 - Fix for GHC 8.6.5
Pull Request -
State: closed - Opened by ldr709 about 5 years ago
- 1 comment
#15 - Please release a new version supporting singletons 2.5
Issue -
State: closed - Opened by crockeea almost 6 years ago
- 1 comment
#14 - ghc-typelits-natnormalise-0.6
Issue -
State: closed - Opened by christiaanb almost 7 years ago
- 2 comments
#13 - Wordsmithing
Pull Request -
State: closed - Opened by MarisaKirisame over 7 years ago
- 1 comment
#12 - Allow constraints-0.9
Issue -
State: closed - Opened by crockeea almost 8 years ago
- 1 comment
#11 - lneqSucc n does not terminate for n > 0
Issue -
State: closed - Opened by erisco about 8 years ago
- 1 comment
#10 - allow building with ghc-typelits-natnormalise 0.5
Pull Request -
State: closed - Opened by cumber about 8 years ago
- 3 comments
#9 - Update for Singletons-2.0
Issue -
State: closed - Opened by crockeea over 9 years ago
- 2 comments
#8 - Support for singletons 1.1?
Issue -
State: closed - Opened by peti about 10 years ago
- 2 comments
#7 - Renamed exponentiation; added "div", "mod".
Pull Request -
State: closed - Opened by fmap over 10 years ago
- 2 comments
#6 - Value, singleton, and type-level exponentiation for Nat.
Pull Request -
State: closed - Opened by fmap over 10 years ago
- 1 comment
#5 - Create Typeable Instance
Issue -
State: closed - Opened by crockeea over 10 years ago
- 1 comment
#4 - added type hint for type-family usage of promote, builds on 7.8.3
Pull Request -
State: closed - Opened by johnpmayer over 10 years ago
- 3 comments
#3 - Compilation error on 7.8.3
Issue -
State: closed - Opened by jcristovao over 10 years ago
- 4 comments
#2 - wrong constraint on %-
Issue -
State: closed - Opened by cpeikert over 10 years ago
- 1 comment
#1 - Allow singletons-1.0
Issue -
State: closed - Opened by cpeikert over 10 years ago
- 12 comments