Sulkta-OSS/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

bump plutarch

Browse source
This commit is contained in:
Emily Martins 2022-02-18 20:52:06 +01:00
parent 99af5e26fa
commit eb4b9d8b1e
2 changed files with 4 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/Agora/Utils.hs
View file

@ -144,8 +144,5 @@ paddValue = phoistAcyclic $
PValue b <- pmatch b'
pcon
( PValue $
pmapUnionWith
# (plam $ \a' b' -> pmapUnionWith # (plam (+)) # a' # b')
# a
# b
pmapUnionWith # (plam $ \a' b' -> pmapUnionWith # (plam (+)) # a' # b') # a # b
)