Skip to content
GitLab
Explore
Sign in
Andrew Hirsch
Pirouette Coq Code
Repository
pirouette-coq
TypedChoreography.v
Find file
Blame
History
Permalink
Moved files so that we're not referencing "lower-order".
· 0c273df2
Andrew Hirsch
authored
Mar 21, 2020
0c273df2