some project about typed racket

89 Views Asked by At

I am doing some study in typed racket.To understand typed racket well, I need some typed racket projects . Can anyone please give me some links where I can find some typed racket source code.Thanks

1

There are 1 best solutions below

0
On

Leif is probably right about this not being right for SO. But as a quick answer, there is a lot of typed racket code shipped with Racket itself. On Ubuntu, for example, you can search for the line #lang typed/racket in /usr/share/racket/pkgs. Or you can find them on GitHub. The math or images libraries might be a good place to start.