Ignore:
Timestamp:
Nov 15, 2012, 12:16:02 AM (13 years ago)
Author:
gobi
Message:

cabal file

File:
1 edited

Legend:

Unmodified
Added
Removed

  • sizechecking/SizedExp.hs

    r5 r11  
    172172        putStrLn "QED" 
    173173        return True 
    174     else do 
     174      else do 
    175175        putStrLn "------------" 
    176176        putStrLn "Cannot prove: " 
Note: See TracChangeset for help on using the changeset viewer.