Contents
James Wood
Back home
import
VecMat
-- Vectors and Matrices in Agda (2019-08-22)