GitHub repository: ryanorendorff/functional-linear-algebra
Primary language: Agda
Created: 2020-08-13T05:37:04Z
Description: Formalizing linear algebra in Agda by representing matrices as functions