Ryan Orendorff c78dc9cf5b agda-packages: add fla library at v0.1 ... Adds the functional-linear-algebra library to the agda package set.		2020-10-15 10:54:22 -06:00
..
agda-categories
agda-prelude
cubical
functional-linear-algebra	agda-packages: add fla library at v0.1	2020-10-15 10:54:22 -06:00
generic
iowa-stdlib
standard-library