[nilved]

That sounds pretty rad. Do you know what the status is of dependent types in Racket? I have always been interested in that.

[samth]

We're working on it! See the work by my student, Andrew Kent, coming soon to Typed Racket: https://pnwamk.github.io/