adamc@223: (* Copyright (c) 2008-2009, Adam Chlipala
adamc@190:  * 
adamc@190:  * This work is licensed under a
adamc@190:  * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
adamc@190:  * Unported License.
adamc@190:  * The license text is available at:
adamc@190:  *   http://creativecommons.org/licenses/by-nc-nd/3.0/
adamc@190:  *)
adamc@190: 
adamc@190: 
adamc@190: 
adamc@190: (** %\chapter{Modeling Impure Languages}% *)
adamc@190: 
adamc@204: (** TODO: This chapter!  (Old version was too impredicative) *)