Compile-Time Dependent Types(thenumb.at)
55 points by ibobev | 17 comments
Blog post by Max Slater introducing Syl, a language that encodes compile-time computation with modes and dependent types, inspired by two-level type theory and OxCaml.
#syl on Hacker News
1 story tagged syl, newest first.