1Generalised Tensors for Machine Learning in Idris (opens in new tab)(glaive-research.org)2lang_agnostic2mo ago0
6Encoding datatypes in term of other datatypes and generalising their properties (opens in new tab)(youtube.com)1lang_agnostic7y ago0