| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| examples | ||
| lib | ||
| environments.v | ||
| model.v | ||
| operators.v | ||
| session_types.v | ||
| subtyping.v | ||
| subtyping_rules.v | ||
| telescopes.v | ||
| term_types.v | ||
| term_typing_judgment.v | ||
| term_typing_rules.v | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| examples | ||
| lib | ||
| environments.v | ||
| model.v | ||
| operators.v | ||
| session_types.v | ||
| subtyping.v | ||
| subtyping_rules.v | ||
| telescopes.v | ||
| term_types.v | ||
| term_typing_judgment.v | ||
| term_typing_rules.v | ||