Generalised Tensors for Machine Learning in Idris #1 Post by lang_agnostic » Thu, Jan 22, 2026, 12:36 AM UTC Generalised Tensors for Machine Learning in Idrisglaive-research.org