Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leftaroundabout/trivial-constraint issues and pull requests
#9 - Release for GHC 8.10
Issue -
State: closed - Opened by dbeacham over 3 years ago
- 3 comments
#8 - Fix building with GHC 8.10
Pull Request -
State: closed - Opened by mstksg about 4 years ago
- 6 comments
#7 - Relicensing for merging into `constraints`
Issue -
State: open - Opened by infinity0 over 4 years ago
- 6 comments
#6 - Consistent, minimal and useful term-level witness for impossibility
Pull Request -
State: closed - Opened by leftaroundabout over 5 years ago
#5 - What signature should the absurdibles have?
Issue -
State: open - Opened by treeowl over 5 years ago
- 28 comments
#4 - absurdible could be levity polymorphic
Issue -
State: closed - Opened by treeowl over 5 years ago
- 1 comment
#3 - absurdible2, etc, aren't poly-kinded enough
Issue -
State: closed - Opened by treeowl over 5 years ago
- 1 comment
#2 - Alternative `Impossible` mechanism that allows unsaturated usage
Pull Request -
State: closed - Opened by mstksg over 5 years ago
- 3 comments
#1 - Make `Unconstrained` family PolyKinded
Pull Request -
State: closed - Opened by mstksg over 5 years ago
- 1 comment