prelude/streams.v · 9bc0a38ba3f0cbf159348ba85f916fed64671a8b · Ike Mulder / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

5877 commits behind the upstream repository.

9 years ago
94216199
Give the project a top-level name so it can be make installed. · 94216199
Robbert Krebbers authored 9 years ago
```
Thanks to Amin Timany for the suggestion.
```
94216199

History
Give the project a top-level name so it can be make installed.
Robbert Krebbers authored 9 years ago
```
Thanks to Amin Timany for the suggestion.
```

streams.v 2.15 KiB