Stable marriage problem: Difference between revisions
Content added Content deleted
(→The solution: Added general type annotations) |
m (→The solution) |
||
| Line 2,578: | Line 2,578: | ||
where |
where |
||
propose s guy = |
propose s guy = |
||
let girl = s^. |
let girl = s^.fianceesOf guy & head |
||
bestGuy : otherGuys = s^.fiancesOf girl |
bestGuy : otherGuys = s^.fiancesOf girl |
||
modify |
modify |
||