Talk:Mutable state

From The Twelf Project
Jump to: navigation, search

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)

Fixed. — Rob (and his talk) 12:29, 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)