diff options
author | Alberto Ruiz <aruiz@um.es> | 2014-05-24 20:33:05 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2014-05-24 20:33:05 +0200 |
commit | 365e2435e71de10ebe849acac5a107b6f43817c4 (patch) | |
tree | 08e0e8573c86f28bda920709ae84a1f2fd4911ee /packages/sparse/Setup.lhs | |
parent | 5b6de561f131d75049fdb999e98a07939ec2e8e7 (diff) |
initial support for static dimension checking
Diffstat (limited to 'packages/sparse/Setup.lhs')
0 files changed, 0 insertions, 0 deletions