2 commits

Author	SHA1	Message	Date
Leonardo de Moura	deb2310b6d	feat(util/map_foreach): add helper functions for traversing Lean maps	2019-05-13 12:27:59 -07:00
Leonardo de Moura	9e246b365e	feat(library/init/lean): add SMap for implementing Environment	2019-05-09 07:38:26 -07:00