Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
Martin Escardo
@MartinEscardo@mathstodon.xyz
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
@MartinEscardo@mathstodon.xyz
·
Apr 07, 2026
Also, even in a Mac M4, the current version of Agda, 2.8.0, takes 6m30s, which is more than the 4m30s in the 2012 machine!
@jonmsterling @AndrasKovacs @amy
View full thread on mathstodon.xyz
1
0
0
Loading comments...