agda/agda-stdlib-classes

Issues

• Version numbers in .agda-lib file?

  #25 opened 3 months ago
  0

• Add `DecEq` instance for `Refinement` types

  #17 opened 7 months ago
  0

• Change fixity of `if_then_else_` in `Class.ToBool` to 0

  #14 opened 9 months ago
  2

• Decide on the kind of functors

  #2 opened 2 years ago
  0