top
new
show
ask
jobs
about

Dependent Types and How to Get Rid of Them

chadnauseam.com

3 points by pie_flavor 9 hours ago