stanford-ppl/Green-Marl — pull request #58 by honkdamonk (2012-08-07 01:18:16+00:00)
Title: Compiler support for maps

compiler now supports:

- definition of map-variables
- reading map-entries
- writing map entries
- typechecking for maps