|
images
|
update
|
2024-10-18 10:08:37 -05:00 |
|
.gitignore
|
update
|
2024-10-18 10:08:37 -05:00 |
|
Demo.agda
|
demo
|
2024-10-18 10:51:15 -05:00 |
|
Demo1.agda
|
demo
|
2024-10-18 10:51:15 -05:00 |
|
main.tex
|
demo
|
2024-10-18 10:51:15 -05:00 |
|
Makefile
|
changes
|
2024-10-18 08:23:18 -05:00 |
|
references.bib
|
work
|
2024-10-17 14:13:56 -05:00 |
