Do not let your type system reason about aliasing in your programming languagefuthark-lang.org·6 pts·ibobev·0