Generalised Tensors for Machine Learning in Idris | Dark Hacker News