Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
dk_type.sk
Find file
Blame
History
Permalink
Replace the inductive subtyping relation by incusion because it has
· a990090b
Raphaël Cauderlier
authored
Mar 29, 2016
better transitivity properties.
a990090b