added code (GraphCompiler.agda) with the attempt we had until now of translating Bahr paper's code into Agda