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 |
|
Alex Rice
|
c63ece0998
|
agdaPackages.generic: init at v0.1
|
2020-08-10 14:56:23 +01:00 |
|
Ryan Orendorff
|
f7ad47a8f6
|
agdaPackages.cubical: init at 0.2 (#76994)
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
|
2020-05-19 13:20:35 -04:00 |
|
Alex Rice
|
6c1cdedb6d
|
agda-categories: init at 0.1
|
2020-05-14 20:54:12 +01:00 |
|
Alex Rice
|
d30e2468e0
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
|