Changes between Version 2 and Version 4 of Ticket #3

Show
Ignore:
Timestamp:
12/04/09 18:31:30 (5 years ago)
Author:
jmcarthur
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3 – description

    v2 v4  
    3131}}} 
    3232 
     33We should also make the partial map lookups total by making their Codomains use Maybe. 
    3334 
    3435Open questions: