3 ms·
That sounds pretty rad. Do you know what the status is of dependent types in Racket? I have always been interested in that.
by nilved 10y ago
That sounds pretty rad. Do you know what the status is of dependent types in Racket? I have always been interested in that.
- samth 10y agoWe're working on it! See the work by my student, Andrew Kent, coming soon to Typed Racket: https://pnwamk.github.io/ https://pnwamk.github.io/