diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-07-21 20:46:18 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-07-21 20:46:18 +0200 |
| commit | ffbdebbced2cbd32f7e121f19c1c0360be2053b8 (patch) | |
| tree | d05940e7f0d483c36e5e07ffee49d4054a23b193 /FinMap.agda | |
| parent | dd95d0924df51daeac7176d4010a30d34bae2b02 (diff) | |
| download | bidiragda-ffbdebbced2cbd32f7e121f19c1c0360be2053b8.tar.gz | |
import _>>=_ and fmap from Data.Maybe
Also rename fmap to _<$>_ to match Agda naming conventions. The imported
_>>=_ appears to have different binding, so some braces were necessary.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions