Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Paolo G. Giarrusso
iris
Repository
iris
algebra
functor.v
Find file
Blame
History
Permalink
turn canonical structures that don't have any instances into plain records
· 7266d16b
Ralf Jung
authored
Feb 23, 2016
7266d16b
Ralf Jung authored7266d16b