Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / theowinterhalter/coq-partialfun issues and pull requests
#13 - stronger induction principle
Pull Request -
State: closed - Opened by MevenBertrand 3 months ago
#12 - Fix notations for compatibility with Coq 8.20
Pull Request -
State: closed - Opened by kyoDralliam 4 months ago
- 2 comments
#11 - Fix universe issue with depelim in coq 8.18
Pull Request -
State: closed - Opened by kyoDralliam about 1 year ago
#10 - Export less typeclasses hints for performance
Pull Request -
State: closed - Opened by kyoDralliam about 1 year ago
- 1 comment
#10 - Export less typeclasses hints for performance
Pull Request -
State: closed - Opened by kyoDralliam about 1 year ago
- 1 comment
#9 - Generalise orec to avoid universe growth
Pull Request -
State: closed - Opened by TheoWinterhalter over 1 year ago
#8 - Removing funext
Pull Request -
State: closed - Opened by MevenBertrand almost 2 years ago
#7 - Examples with more effects
Pull Request -
State: closed - Opened by TheoWinterhalter almost 2 years ago
#6 - Make fuel version exponentially expanding
Pull Request -
State: closed - Opened by TheoWinterhalter almost 2 years ago
#5 - Functional induction extended to Type and more general
Pull Request -
State: closed - Opened by TheoWinterhalter almost 2 years ago
#4 - Making the functional induction case for `call` weaker
Pull Request -
State: closed - Opened by MevenBertrand almost 2 years ago
#3 - Add monad notations
Pull Request -
State: closed - Opened by TheoWinterhalter almost 2 years ago
#2 - Separating the examples from the library
Pull Request -
State: closed - Opened by MevenBertrand almost 2 years ago
- 1 comment
#1 - Adding a MakeFile infrastructure
Pull Request -
State: closed - Opened by MevenBertrand almost 2 years ago
- 2 comments