6fa5d45 require ghc-Agda and keep README*.agdai

Authored and Committed by petersen 5 years ago
    require ghc-Agda and keep README*.agdai
    
        
file modified
+8 -5