Matrix math in Idris

bench?

vmchaleMon Nov 20 21:03:15 UTC 2017

more

vmchaleMon Nov 20 21:01:23 UTC 2017

add benchmark thing

vmchaleSat Nov 18 22:17:09 UTC 2017

for new library

vmchaleSat Nov 18 22:09:59 UTC 2017

for new prelude

vmchaleFri Nov 17 07:26:23 UTC 2017

rank

vmchaleTue Nov 14 23:08:28 UTC 2017

readme

vmchaleTue Nov 14 19:48:43 UTC 2017

readme

vmchaleTue Nov 14 07:10:45 UTC 2017

polish

vmchaleTue Nov 14 06:50:55 UTC 2017

more ergonomics stuff

vmchaleTue Nov 14 06:36:30 UTC 2017

mehr

vmchaleTue Nov 14 06:32:09 UTC 2017

pretty printer again

vmchaleTue Nov 14 05:18:17 UTC 2017

pretty printer

vmchaleTue Nov 14 05:12:58 UTC 2017

moar

vmchaleTue Nov 14 05:01:47 UTC 2017

minor cosmetic adjustments

vmchaleTue Nov 14 02:12:28 UTC 2017

progress :)

vmchaleTue Nov 14 02:07:12 UTC 2017

initial patch

vmchaleTue Nov 14 00:13:23 UTC 2017