Improving error messages in Agda
Master Project
of Maria Khakimova
Thesis
https://resolver.tudelft.nl/uuid:52513287-7149-41f1-a8e8-8e38696cb283
Improving error messages in Agda
Student: Maria Khakimova
Supervisor(s): Jaro Reinders, Sára Juhošová, Jesper Cockx