Compile-Time Dependent Types via @PolyWolf@social.treehouse.systems https://lobste.rs/s/d09iy3 #ml #plt https://thenumb.at/Syl-Intro/