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: May 02 2025 at 03:31 UTC
Is there a derive handler or tactic for getting a lexicographic order on a new inductive type?
Last updated: May 02 2025 at 03:31 UTC