3 ms·
This is what Racket people have done to write Typed Racket in it. I think it is called Turnstile: https://docs.racket-lang.org/turnstile/ https://docs.racket-la
by zelphirkalt 4y ago
This is what Racket people have done to write Typed Racket in it. I think it is called Turnstile: https://docs.racket-lang.org/turnstile/ https://docs.racket-lang.org/turnstile/.
- rscho 4y agoI don't think typed racket uses turnstile? At least, typed racket is far older than turnstile is.
- zelphirkalt 4y agoHuh, I was under the impression, that it was based on turnstile and was sure, that I saw that somewhere, but now I cannot find any indication of it being the case. So maybe I am mistaken. Nevermind then, turnstile is still something fitting for this topic : )
- ywei3410 4y agoYou are correct; typed racket does not use turnstile.