| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Common | ||
| Cubical/HigherCategories | ||
| Results | ||
| Semantics | ||
| Syntax | ||
| GuardedCat.agda | ||
| LICENSE.txt | ||
| gradual-typing-sgdt.agda-lib | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Common | ||
| Cubical/HigherCategories | ||
| Results | ||
| Semantics | ||
| Syntax | ||
| GuardedCat.agda | ||
| LICENSE.txt | ||
| gradual-typing-sgdt.agda-lib | ||