Matrix math in Idris

root / Justfile

1
2
3
4
5
6
7
8
9
10
11
12
13
clean:
    rm -f bench-lazy
    sn c .

bench:
    idris --build bench.ipkg
    bench "./bench-lazy"

build:
    idris --build lazy_matrices.ipkg

test:
    idris --testpkg test.ipkg