Talk:Mutable state
From The Twelf Project
Something looks screwy with the two families named "update-lemma", one of which's body gets escaped into normal text because it's block-commented out. Otherwise, cool! Drl 11:51, 16 March 2007 (EDT)
Rename?
Somehow I think language with references is a little weird of a title for this page; can I suggest mutable state or encoding references or encoding store or something like that? I think it would be more in line with our other tutorials/case studies. — Tom 7 08:42, 19 March 2007 (EDT)
- Agreed, I couldn't think of a good name when I wrote the page. I'll use mutable state. — Rob (and his talk) 11:21, 19 March 2007 (EDT)