GitHub / agda/agda-stdlib-classes issues and pull requests
#19 - Change `Monad` polymorphism
Pull Request -
State: open - Opened by omelkonian 4 months ago
- 2 comments
#18 - Add `DecEq-Refinement`
Pull Request -
State: closed - Opened by WhatisRT 4 months ago
#17 - Add `DecEq` instance for `Refinement` types
Issue -
State: closed - Opened by HeinrichApfelmus 4 months ago
#16 - Bump to agda-2.7.0.1/stdlib-2.2
Pull Request -
State: closed - Opened by omelkonian 5 months ago
#15 - Add `Show` instance for `ℚ`
Pull Request -
State: closed - Opened by javierdiaz72 6 months ago
#14 - Change fixity of `if_then_else_` in `Class.ToBool` to 0
Issue -
State: open - Opened by carlostome 6 months ago
- 2 comments
#13 - Add `Show` instance for `Maybe`
Pull Request -
State: closed - Opened by javierdiaz72 6 months ago
- 2 comments
#12 - CI: bump setup-agda
Pull Request -
State: closed - Opened by omelkonian 6 months ago
#11 - Change `Monad` polymorphism
Pull Request -
State: open - Opened by WhatisRT 8 months ago
- 3 comments
#10 - Monotonicity and modalities for predicates over types with orders
Pull Request -
State: closed - Opened by casvdrest 8 months ago
- 5 comments
#9 - README: update repo links
Pull Request -
State: closed - Opened by omelkonian 8 months ago
#8 - Tidy up: s/Set/Type + flags + levels
Pull Request -
State: closed - Opened by omelkonian 8 months ago
#7 - Fix Allable/Anyable + instances for List⁺
Pull Request -
State: closed - Opened by omelkonian 8 months ago
#6 - Add support for total orders to `HasOrder`
Pull Request -
State: closed - Opened by javierdiaz72 9 months ago
- 1 comment
#5 - Upstream classes from `iog-agda-prelude`
Pull Request -
State: closed - Opened by WhatisRT 10 months ago
#4 - Make `HasOrder` follow the same structure as everything else
Pull Request -
State: closed - Opened by WhatisRT 10 months ago
#3 - Upstream changes
Pull Request -
State: closed - Opened by WhatisRT 10 months ago
#2 - Decide on the kind of functors
Issue -
State: open - Opened by omelkonian over 1 year ago
Labels: question
#1 - Add order instances for rational numbers
Pull Request -
State: closed - Opened by WhatisRT over 1 year ago