1. 6
    Update Map in Haskell, an example of equational reasoning with code haskell programming codereview.stackexchange.com
    bitemyapp avatar via bitemyapp 4 years ago | cached | 1 comment

  1.  

  2. 1
    bitemyapp avatar bitemyapp 4 years ago | link

    Note that this doesn’t work without parametrically polymorphic k and v.