Zulip Chat Archive
Stream: new members
Topic: is there pattern matching with guards in Lean4
Henrik Böving (Dec 20 2023 at 17:22):
No this does not exist as of right now.
Last updated: May 02 2025 at 03:31 UTC
No this does not exist as of right now.
Last updated: May 02 2025 at 03:31 UTC