16:15 <rntz> is there any reason in principle one couldn't have a function contract->flat-contract such that if ((contract->flat-contract c) x) == #f, then x does not satisfy contract c? (but not, of course, always vice-versa)

16:15 <rntz> i.e. the "flat approximation" of a contract?

16:16 <rntz> or equivalently, a function (immediately-fails-contract? c x)

16:16 <rntz> I guess (lambda (x) #t) is always such a flat approximation, so I haven't fully specified what I want.

16:17 <rntz> but for example, (flat-contract (-> ...)) ~= procedure?

16:17 <rntz> er

16:17 <rntz> (contract->flat-contract (-> ...)) ~= procedure?

16:42 <laszlokorte> What would be a simple way to draw an (later animated) stick figure via 2htdp/image? The (rotate) function seems to always rotate around the image center. Say I want to draw an upper and a lower leg and rotate the lower leg around ne knee and the whole leg around the hip. Do I need a draw each part inside a bigger circle first in order to control the rotation center?

16:48 <lexi-lambda> rntz: If I understand what you’re asking, you want contract-first-order or contract-first-order-passes?.

17:15 <rntz> lexi-lambda: aha, thanks!

17:56 <oofoe> Hi! Has a new logger been set up to replace the https://botbot.me/freenode/racket/ one?

19:05 <oofoe> I guess that's a "no"...

20:02 <rain1> oofoe: if someone has a spare VPS we can run logger on it

20:37 <rain1> https://github.com/rain-1/racket-peg/blob/master/IMPLEMENTATION.md I wrote a explanation of how the parser works