Changes between Version 10 and Version 11 of Hoopl/Cleanup


Ignore:
Timestamp:
Aug 22, 2013 4:44:39 PM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Hoopl/Cleanup

    v10 v11  
    117117   -> m (Graph n e x, FactBase f, MaybeO e f) 
    118118}}} 
    119 The differences are not great. But the types say more precisely what is 
     119The differences are not great. But the types are still nicely symmetrical; and they 
     120say more precisely what is 
    120121actually necessary and useful. 
    121122