Patrick Nicodemus (Oct 04 2022 at 05:04): 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.
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