agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard
verified publisher icon agda

List of tactics to develop:

Open MatthewDaggitt opened this issue 1 month ago • 2 comments

  • [ ] Presburger arithmetic (https://github.com/agda/agda-stdlib/issues/1041)
  • [ ] Deriving Setoid, DecSetoid, PartialOrder etc. automatically for basic datatypes.

MatthewDaggitt avatar Nov 18 '25 04:11 MatthewDaggitt

I have a student who has just contacted me who is specifically interested in look at the deriving tactics. @JacquesCarette would it be okay for them to take that on?

MatthewDaggitt avatar Nov 24 '25 01:11 MatthewDaggitt

Sure!

JacquesCarette avatar Nov 24 '25 05:11 JacquesCarette