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