morte has quit [Remote host closed the connection]
morte has joined #racket
morte has quit [Remote host closed the connection]
troglodito has quit [Ping timeout: 248 seconds]
troglodito has joined #racket
troglodito has quit [Ping timeout: 240 seconds]
troglodito has joined #racket
_whitelogger has joined #racket
mjt128 has joined #racket
fun-safe-math has joined #racket
fun-safe-math has quit [Quit: Leaving]
fun-safe-math has joined #racket
codaraxis__ has joined #racket
drewolson has quit [Quit: Ping timeout (120 seconds)]
drewolson has joined #racket
codaraxis has quit [Ping timeout: 260 seconds]
mjt128 has quit [Remote host closed the connection]
mwnaylor has quit [Ping timeout: 250 seconds]
jeosol has quit [Ping timeout: 245 seconds]
fun-safe-math has quit [Ping timeout: 255 seconds]
skapata has quit [Remote host closed the connection]
<Putonlalla>
How should you write a contract saying that the return value of a function is either `(values a b)`, where `(<= a b)`, or `(values #f #f)`?
<Putonlalla>
It's not clear how to mix `or/c` with `values`.
lucasta has quit [Remote host closed the connection]
scubagear has quit [Remote host closed the connection]