6260 Notes: Happy Dafny

6260 notes: tuple, type, predicate, implicate

3 minute read Published: 2026-07-29