ryanorendorff/functional-linear-algebra

Issues

• Support agda-stdlib 2

  #50 opened 9 months ago
  1

• Fails to build with Agda 2.6.4

  #47 opened 10 months ago
  3

• Release a version compatible with standard-library 1.7 and Agda 2.6.2

  #40 opened 3 years ago
  4

• Does not build anymore with standard library 1.5

  #31 opened 4 years ago
  2

• Release to nixpkgs?

  #16 opened 4 years ago
  2