Hacker News new | ask | show | jobs
by pakled_engineer 3970 days ago
U of Chicago uses HtDP with typed racket. https://www.classes.cs.uchicago.edu/archive/2014/fall/15100-...