Artemis contributed to the hasktorch/hasktorch repository by developing a type-safe approach to tensor dimension indexing, focusing on enhancing reliability in tensor operations. They introduced a type-level function, IndexSelectDim, alongside a runtime function, indexSelectDim, within Torch.Typed.Tensor. This work leveraged Haskell’s type-level programming and functional programming paradigms to enforce compile-time checks for dimension selection, reducing the risk of runtime errors. By embedding these safety guarantees directly into the API, Artemis improved the robustness of tensor manipulation workflows. The depth of this contribution lies in its foundational impact, enabling safer and more predictable tensor operations for Haskell users working with hasktorch.