| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Context.agda | ||
| DeBruijnCommon.agda | ||
| Displayed.agda | ||
| ExplicitSubst.agda | ||
| GSTLC.agda | ||
| GSTLCCollapse.agda | ||
| Logic.agda | ||
| SyntaxNew.agda | ||
| Terms.agda | ||
| Types.agda | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Context.agda | ||
| DeBruijnCommon.agda | ||
| Displayed.agda | ||
| ExplicitSubst.agda | ||
| GSTLC.agda | ||
| GSTLCCollapse.agda | ||
| Logic.agda | ||
| SyntaxNew.agda | ||
| Terms.agda | ||
| Types.agda | ||