YHacker News
Screenshot of thenumb.at: Compile-Time Dependent Types

First screen, captured . Open the video.

Full page

Full-page screenshot of thenumb.at

Captured . Click for the whole screenshot.

Looks similar

Related stories