Generalised Tensors for Machine Learning in Idris | Hacker News Reader