Hacker News new | ask | show | jobs
by Peaker 3857 days ago
This nice property is not part of 'parametricity' as I know it, though.