A talk deriving matrix addition and multiplication from semantic specification
TeX Perl
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README.md
makefile
mine.fmt
rabbit-background.jpg
rabbit-face.jpg
rabbit-hat-kid.jpg
rabbit-hopping-on-grass.jpg
rabbit-in-hat.jpg
reimagining-matrices.lhs
thoughts.md

README.md