diff options
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 |