|
.gitignore
|
talk
|
2024-10-15 14:27:27 -05:00 |
|
decodecube.png
|
more work on the talk
|
2024-10-16 01:28:30 -05:00 |
|
Demo.agda
|
solve demo file
|
2024-10-15 14:31:10 -05:00 |
|
main.tex
|
fix incorrect types
|
2024-10-16 17:45:16 -05:00 |
|
Makefile
|
talk
|
2024-10-15 14:27:27 -05:00 |
|
references.bib
|
update talk
|
2024-10-16 17:35:42 -05:00 |
