Hacker News new | ask | show | jobs
by crtc 1899 days ago
> there would be some confusion with the popular Chicken Scheme compiler.

Or Agda (the hen): https://www.youtube.com/watch?v=zPY42kkRADc