On this page you will find Agda source code associated with MDA. For now this is just the source code associated with the paper "Correctness of Object Oriented Models by Extended Type Inference" by Simon Foster, Ondrej Rypacek and Georg Struth.
Download ClassGraphs.agda.