robby
2017-6-6 13:32:41

@ben check out section 2.4 of the 2002 icfp contracts paper


dpsutton
2017-6-7 04:25:18

@dpsutton has joined the channel