Gradual Typing
The TypeScript example can be run by changing directories to the ts directory, running npm install, and npm run build. This requires having npm installed.
The Racket/Typed Racket examples can be run in DrRacket
The TypeScript example can be run by changing directories to the ts directory, running npm install, and npm run build. This requires having npm installed.
The Racket/Typed Racket examples can be run in DrRacket