7d0ed70 note emacs-agda interactive environment in description

Authored and Committed by petersen 11 years ago
1 file changed. 2 lines added. 0 lines removed.
    note emacs-agda interactive environment in description
    
        
file modified
+2 -0