Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / conal/felix issues and pull requests
#15 - agda 2.6.4.3 with nixos 24.05
Pull Request -
State: closed - Opened by jkopanski 6 months ago
- 1 comment
#14 - Caching
Pull Request -
State: open - Opened by jkopanski 8 months ago
#13 - Make sure `Felix.Instances.Function.Lift` is typechecked
Pull Request -
State: closed - Opened by jkopanski 8 months ago
- 2 comments
#12 - Distributive
Pull Request -
State: closed - Opened by jkopanski 9 months ago
- 1 comment
#11 - Fix whitespace
Pull Request -
State: closed - Opened by jkopanski 10 months ago
- 1 comment
#10 - Setoid instances
Pull Request -
State: open - Opened by jkopanski 10 months ago
- 17 comments
#9 - Agda 2.6.4
Pull Request -
State: closed - Opened by jkopanski 11 months ago
- 6 comments
#8 - Standard library v2.0
Pull Request -
State: closed - Opened by jkopanski 11 months ago
- 2 comments
#7 - github actions ci
Pull Request -
State: closed - Opened by jkopanski 12 months ago
- 1 comment
#6 - Missing Eqivalent instance for Predicate morphisms
Pull Request -
State: open - Opened by jkopanski over 1 year ago
- 2 comments
#5 - Polish Function.Lift
Pull Request -
State: closed - Opened by jkopanski over 1 year ago
- 7 comments
#4 - nix incantation
Issue -
State: closed - Opened by bsaul over 1 year ago
- 11 comments
#3 - Make lawful cartesian category
Pull Request -
State: closed - Opened by jkopanski over 1 year ago
- 3 comments
#2 - Should laws be included in the definition of categories in `Felix.Raw`?
Issue -
State: closed - Opened by AtticusKuhn over 1 year ago
- 8 comments
#1 - Refactor Cartesian Category
Pull Request -
State: open - Opened by AtticusKuhn over 1 year ago
- 3 comments