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

compiler now supports:
- definition of map-variables
- reading map-entries
- writing map entries
- typechecking for maps