Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rudymatela/speculate issues and pull requests
#13 - Fix build of text/expr
Pull Request -
State: closed - Opened by rudymatela about 1 year ago
Labels: bug
#12 - stackage nightly - speculate-0.4.14 - test build fails
Issue -
State: closed - Opened by alaendle about 1 year ago
- 2 comments
Labels: bug
#11 - Basic `Listable` instances for composite types
Issue -
State: closed - Opened by langfield almost 2 years ago
- 1 comment
#10 - output of theorems should be lazy, but is not, because of alignment
Issue -
State: open - Opened by jwaldmann almost 4 years ago
- 2 comments
Labels: enhancement
#9 - TypeApplications for shorter/nicer code
Issue -
State: closed - Opened by jwaldmann almost 4 years ago
- 1 comment
#8 - document what instances must be given
Issue -
State: closed - Opened by jwaldmann almost 4 years ago
- 1 comment
#7 - Do newtypes need special handling?
Issue -
State: closed - Opened by RSWilli almost 4 years ago
- 4 comments
#6 - Grading functions
Issue -
State: closed - Opened by BebeSparkelSparkel almost 6 years ago
- 2 comments
Labels: question
#5 - Provide module for treating functions as test values.
Issue -
State: closed - Opened by rudymatela almost 7 years ago
- 1 comment
Labels: enhancement
#4 - Does not find Functor Composition Law
Issue -
State: closed - Opened by Fresheyeball almost 7 years ago
- 2 comments
Labels: question
#3 - Incorrect equations when size limit is increased.
Issue -
State: open - Opened by rudymatela over 7 years ago
- 1 comment
Labels: enhancement
#2 - Speculate on DejaFu: `speculate: could not find Listable Thread D1 D1`
Issue -
State: open - Opened by rudymatela over 7 years ago
Labels: bug
#1 - Test build failure on stackage nightly
Issue -
State: closed - Opened by mihaimaruseac over 7 years ago
- 3 comments
Labels: bug