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