yarn.meff.me lobste_rs@feeds.twtxt.net "**Magma: A dependently-typed language** [Comments](https://lobste.rs/s/upzwzj/magma_dependently_typed_language) ⌘ [Read more](https://github.c ..."