diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:59:06 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:59:06 +0100 |
| commit | 95609983219f14e8f4c0758cd0688b984d8b1455 (patch) | |
| tree | 497e596edcbca0a745d1a42fb1995dc731631dac /BFF.agda | |
| parent | 5f11a53df7da1df3757cf8fd54652f78a50afbf0 (diff) | |
| download | bidiragda-95609983219f14e8f4c0758cd0688b984d8b1455.tar.gz | |
be more precise about which lookups we use
Diffstat (limited to 'BFF.agda')
| -rw-r--r-- | BFF.agda | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,4 +40,4 @@ module VecBFF (A : DecSetoid ℓ₀ ℓ₀) where g′ = delete-many t′ g h = assoc t′ v h′ = (flip union g′) <$> h - in h′ >>= flip mapMV s′ ∘ flip lookupV + in h′ >>= flip mapMV s′ ∘ flip lookupM |