Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
instead of extract for mapX functions
|
|
columns and as inverses of toRows and toColumns
|
|
|
|
|
|
|
|
|
|
dependently typed vectors or matrices to be the same size when they were previously unknown at compile time
|
|
functions from neglect of extract
|
|
|
|
|
|
methods to Domain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
replaced by several overloaded app variants in the style of
the module Internal.Foreign contributed by Mike Ledger.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|