Zulip Chat Archive
Stream: Is there code for X?
Topic: Absurd patterns
ice1000 (May 05 2021 at 17:25):
Is there absurd pattern matching?
Mario Carneiro (May 05 2021 at 17:27):
by cases h or match h with end
Mario Carneiro (May 05 2021 at 17:28):
If it is at the top level of a def, you can finish the def with . instead of | bla := ...
Mario Carneiro (May 05 2021 at 17:28):
example : false -> true.
ice1000 (May 05 2021 at 17:30):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC