Compile-Time Dependent Types

(thenumb.at)

5 points | by birdculture 10 hours ago ago