Hacker News new | ask | show | jobs
Equational Reasoning in Racket (bor0.wordpress.com)
3 points by bor0 2254 days ago