diff options
| author | Justin Le <justin@jle.im> | 2016-01-07 00:59:48 -0800 |
|---|---|---|
| committer | Justin Le <justin@jle.im> | 2016-01-07 01:00:15 -0800 |
| commit | cde00d2c7a660cb8f6edf7b4b308b66232b9b230 (patch) | |
| tree | ff4fdc08ad53b3b25b32e19b3fd2c7572fba64b4 /examples/deriv.hs | |
| parent | 69e0f0c19251cd2abe08cc5f0711f6ac7e42a2ce (diff) | |
added extactLength and exactDims, which are useful for constraining multiple dependently typed vectors or matrices to be the same size when they were previously unknown at compile time
Diffstat (limited to 'examples/deriv.hs')
0 files changed, 0 insertions, 0 deletions