Hacker News new | ask | show | jobs
Generalised Tensors for Machine Learning in Idris (glaive-research.org)
2 points by lang_agnostic 143 days ago