Formalization of Agda's module system
Master Project
of Ivar de Bruin
Project description
t.b.a.
Related work
t.b.a.
Formalization of Agda's module system
Student: Ivar de Bruin
Supervisor(s): Bohdan Liesnikov, Jesper Cockx