Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
SoundlyTypedPirouette.v
Find file
Blame
History
Permalink
Cleaned up Pirouette types. Removed closure requirement for values.
· 2e558915
Andrew Hirsch
authored
Oct 01, 2021
2e558915