Forked from
Iris / lambda-rust
1205 commits behind the upstream repository.
-
Jacques-Henri Jourdan authored
Inclusion of permissions. In order to make type inclusion working, I had to change the inclusion of types also.
Jacques-Henri Jourdan authoredInclusion of permissions. In order to make type inclusion working, I had to change the inclusion of types also.
_CoqProject 168 B