diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-17 11:32:35 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-17 11:34:40 +0100 |
| commit | ac482b1a6abeef4cb5e4779b554355b239e3b997 (patch) | |
| tree | 9e9df38ce4c3122a36bdaf694de5da23d7fc1653 /FinMap.agda | |
| parent | f2a68d8eb2d5ea6f3c013ec4caaa938a52c28902 (diff) | |
| download | bidiragda-ac482b1a6abeef4cb5e4779b554355b239e3b997.tar.gz | |
use drop, tail and take from Data.Vec in examples
This is possible using the PartialVecVec implementation.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions