Racket being a lisp its fine that we write (: v t) where the rest of the world writes v : t
But what is (: v : t) ?? A bit be-fuddled? ref: https://docs.racket-lang.org/ts-reference/special-forms.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fprims..rkt%29._~3a%29%29 Also how would I go about fashioning a subrange type a la Pascal? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.