Zulip Chat Archive
Stream: general
Topic: derive lex order
Chris B (Sep 10 2020 at 17:49):
Is there a derive handler or tactic for getting a lexicographic order on a new inductive type?
Last updated: Dec 20 2023 at 11:08 UTC
Is there a derive handler or tactic for getting a lexicographic order on a new inductive type?
Last updated: Dec 20 2023 at 11:08 UTC