Re: [racket-dev] (round), etc. in Typed Racket

I was not thinking of unsafe operations. Jos -Original Message- From: Vincent St-Amour [mailto:stamo...@ccs.neu.edu] Sent: 13 December 2010 18:11 To: Jos Koot Cc: 'Vincent St-Amour'; 'Noel Welsh'; dev@racket-lang.org Subject: Re: [racket-dev] (round), etc. in Typed Racket At

Re: [racket-dev] (round), etc. in Typed Racket

I absolutely totally agree. -- Rudoplh, red-nodes raindeer On Dec 14, 2010, at 8:33 AM, Doug Williams wrote: How about Racket II as a unified literate (from the Scribble syntax), typed, contracted Racket? Of all the syntaxes for defining things, the ones from Scribble (e.g., defproc)