Changes between Version 10 and Version 11 of Hoopl/Cleanup


Ignore:
Timestamp:
Aug 22, 2013 4:44:39 PM (2 years 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