Hacker News new | ask | show | jobs
Encoding datatypes in term of other datatypes and generalising their properties (youtube.com)
1 points by lang_agnostic 2806 days ago