Do not let your type system reason about aliasing in your programming languagefuthark-lang.org1 point·mpweiher··0 commentsOpen articleSaveView on HN