Improving error messages in Agda
Master Project
of Maria Khakimova
Project description
t.b.a.
Improving error messages in Agda
Student: Maria Khakimova
Supervisor(s): Jaro Reinders, Sára Juhošová, Jesper Cockx