We Live in the Dependently Typed Future Now

 (stephendiehl.com)

2 points | by ibobev 10 hours ago ago

No comments yet.