ryanorendorff/lc-2020-linear-algebra-agda
Formalizes a matrix-free functional representation of linear algebra. Presentation for LambdaConf 2020
NixBSD-3-Clause
No issues in this repository yet.
Formalizes a matrix-free functional representation of linear algebra. Presentation for LambdaConf 2020
NixBSD-3-Clause
No issues in this repository yet.