Should #standard-fish take sponsorship? What form would be appropriate? (I’m thinking sponsorship should be in the form of both a contribution to Racket and maybe prizes) PS entrants mostly liked the hats and stickers but that wasn’t why they participated.

prizes?

Sponsor Racket?

DM me or email to discuss privately

Any tips on where I can find TR doing inferencing about the results? I’m curious about the difference between these two outputs: > (= 0 0) - : Boolean [more precisely: True] #t > (= 1 1) - : Boolean #t I know that in base-env-numeric.rkt there are inferences about the inputs based on the output of a predicate, but I didn’t see figuring out the (sub)type of the result in there. I was expecting to see (-> Zero Zero True) or something like that. Any clues?

Is there a standard type for a nonempty but not fixed-size list? I think I should use (List* Real (Listof Real)). If there’s a better way of saying it, can you tell me? I’m looking for (Listof-1+ Real) .

That (or something equivalent with Pairof) is the best way.

If you look at the first two cases of the type of = in that file, I think they’re the relevant ones

Hey everyone! coming from the discord :slightly_smiling_face: