xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.

Not registered as user yet

Name:Andrej Bauer Andrej
Affiliation:andrej.bauer@andrej.com

Contributions

ICFP 2022 Committee Member in Selection Committee within the Tutorials-track