Forked from
Iris / lambda-rust
836 commits behind the upstream repository.
-
Jacques-Henri Jourdan authored
Boxes for function types are part of the function type itself and we do not need to add them everywhere.
Jacques-Henri Jourdan authoredBoxes for function types are part of the function type itself and we do not need to add them everywhere.
function.v 14.70 KiB