theories/typing/lib/closures.v · 4bf89e8313bbd205c073af53fb47b112f0de3660 · Jason Hu / lambda-rust · GitLab

Snippets Groups Projects

Forked from Iris / lambda-rust

1716 commits behind the upstream repository.

7 years ago
4bf89e83
Attempt at modeling closures. this does not work because of higher · 4bf89e83
Jacques-Henri Jourdan authored 7 years ago
```
order liftetime polymorphism in the ref::map function.
```
4bf89e83

History
Attempt at modeling closures. this does not work because of higher
Jacques-Henri Jourdan authored 7 years ago
```
order liftetime polymorphism in the ref::map function.
```