search

JamesGallicchio / LeanColls

WIP collections library for Lean 4
https://jamesgallicchio.github.io/LeanColls/docs/
Apache License 2.0
30 stars 7 forks source link

chore: rename Map -> Dict #31

Closed JamesGallicchio closed 7 months ago

JamesGallicchio commented 7 months ago

Addresses #25 by renaming Map to Dict