Generalised Tensors for Machine Learning in Idris

1 points | by lang_agnostic 11 hours ago