Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
matrix [2016/09/30 15:49] nikolaj |
matrix [2016/09/30 15:56] nikolaj |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| Idris: | Idris: | ||
| [[https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Data/Matrix.idr|contrib/Data/Matrix.idr]] | [[https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Data/Matrix.idr|contrib/Data/Matrix.idr]] | ||
| + | |||
| + | Haskell: | ||
| + | [[https://hackage.haskell.org/package/matrix-0.3.5.0/docs/Data-Matrix.html | package/matrix-0.3.5.0/docs/Data-Matrix.html]] | ||
| ----- | ----- | ||
