https://andraskovacs.github.io/ https://andraskovacs.github.io/publications https://andraskovacs.github.io/research-and-projects https://andraskovacs.github.io/sitemap/ https://andraskovacs.github.io/files/paper1.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/files/paper2.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/files/paper3.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/misc/agda-build-timings/no-optimise/report.html 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/misc/agda-build-timings/optimise/report.html 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/misc/agda-build-timings/quicker-install/report.html 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/misc/shopping-list/ 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/misc/tetris/ 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/2ltt.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/2ltt_appendix.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/hott23prez.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/ir_canonicity.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/mscthesis.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/phdthesis.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/phdthesis_compact.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/tfp26prez.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wg6genoa.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wg6stockholm.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits23abstract.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits23prez.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits24abstract.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits24prez.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits25abstract.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits25prez.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits26abstract.pdf 2026-02-13T14:59:53+01:00 https://andraskovacs.github.io/pdfs/wits26prez.pdf 2026-02-13T14:59:53+01:00