• Robbert Krebbers's avatar
    Functoriality of agreement. · b1d4cb1d
    Robbert Krebbers authored
    Also change the definition of agreement slightly, so agree_map can be defined
    for any function, and not just non-expansive functions.
    b1d4cb1d
agree.v 7.46 KB