This website requires JavaScript.
Explore
Help
Sign In
ilyakooo0
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced
2024-10-17 18:47:57 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
248,087
Commits
96
Branches
102
Tags
4.5
GiB
29684ee617
Commit Graph
1 Commits
Author
SHA1
Message
Date
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