A demo implementation of a simple dependently-typed language (Stephanie Weirich) | Heykuki News