Compile-Time Dependent Types

5 points | by birdculture 9 hours ago