Compile-Time Dependent Types

by ibobev | View on Hacker News