Certified compilation in Agda #1 Post by thedigitalengel » Mon, Apr 29, 2013, 5:06 PM UTC Certified compilation in Agdaplayingwithpointers.com