Forked from
Iris / Actris
Daniël Louwrink
authored
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| examples | ||
| copying.v | ||
| lsty.v | ||
| ltyping.v | ||
| session_types.v | ||
| subtyping.v | ||
| types.v | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| examples | ||
| copying.v | ||
| lsty.v | ||
| ltyping.v | ||
| session_types.v | ||
| subtyping.v | ||
| types.v | ||