Stream: Coq users

Topic: ✔ pattern matching question


view this post on Zulip Patrick Nicodemus (Oct 04 2022 at 05:04):

Yeah this is something like what Adam Chlipala's book says. I think I understand this definition well enough to move on now.

view this post on Zulip Notification Bot (Oct 04 2022 at 05:05):

Patrick Nicodemus has marked this topic as resolved.


Last updated: Feb 06 2023 at 11:03 UTC