Compile-Time Dependent Types

2 points | by birdculture an hour ago