![[ICO]](/icons/blank.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| 1-in-a-nutshell.mp4 | 2025-03-27 07:47 | 24M | |
| 2-agda-as-a-programming-language.mp4 | 2025-03-27 07:51 | 15M | |
| 3-agda-as-a-proof-language.mp4 | 2025-03-27 13:07 | 35M | |
| 4a-closing-thoughts-informative-and-uninformative-types.mp4 | 2025-03-28 02:29 | 7.6M | |
| 4b-closing-thoughts-running-classical-proofs-as-programs.mp4 | 2025-03-28 02:30 | 32M | |
| 5-references.html | 2025-03-28 03:01 | 3.0K | |