
is Turnstile the only available Racket DSL for adding types to a language? or are there others?

@sergej I don’t know if there are any other but you can use the same technique without Turnstile, e.g.: https://github.com/lexi-lambda/hackett

@sergej @githree there are a few ways to add types to a Racket language, but I’m pretty certain Turnstile is the only DSL for doing so

I guess Redex might also qualify, depending on your needs, but that’s only relevant if your language itself is also defined with Redex

Hello everyone! Is there a function in lang scribble like author
or author+email
but for instance contributor
. I have a problem with a documentation that I have to write, if I’m just trying to enumerate authors I get an empty string with a comma between authors. author one
, author two

Well, figured it out.

@author[(author+email “author one” “email1”) (author+email “author two” “email2”)]
