| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| 00-agda | ||
| 01-effectful | ||
| 02-dependent | ||
| 03-total | ||
| 04-generic | ||
| 05-open | ||
| .dir-locals.el | ||
| DTP.agda-lib | ||
| Index.lagda.rst | ||
| run.sh | ||
| setup.sh | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| 00-agda | ||
| 01-effectful | ||
| 02-dependent | ||
| 03-total | ||
| 04-generic | ||
| 05-open | ||
| .dir-locals.el | ||
| DTP.agda-lib | ||
| Index.lagda.rst | ||
| run.sh | ||
| setup.sh | ||