Stable marriage problem: Difference between revisions

m
(→‎The solution: Added general type annotations)
Line 2,578:
where
propose s guy =
let girl = s^.theBestGirlForfianceesOf guy & head
bestGuy : otherGuys = s^.fiancesOf girl
modify
Anonymous user