• Robbert Krebbers's avatar
    Make the types of the finite map type classes more specific. · 20b4ae55
    Robbert Krebbers authored
    This makes type checking more directed, and somewhat more predictable.
    
    On the downside, it makes it impossible to declare the singleton on
    lists as an instance of SingletonM and the insert and alter operations
    on functions as instances of Alter and Insert. However, these were not
    used often anyway.
    20b4ae55
Name
Last commit
Last update
algebra Loading commit data...
benchmark Loading commit data...
docs Loading commit data...
heap_lang Loading commit data...
prelude Loading commit data...
program_logic Loading commit data...
proofmode Loading commit data...
tests Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
CHANGELOG.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
ProofMode.md Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
naming.txt Loading commit data...