8982741 compile .agda files are buildtime

Authored and Committed by petersen 7 years ago
1 file changed. 8 lines added. 6 lines removed.
    compile .agda files are buildtime
    
        
file modified
+8 -6