Mercurial > cpdt > repo
annotate src/Impure.v @ 205:f05514cc6c0d
'make doc' works with 8.2
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 06 Nov 2009 12:15:05 -0500 |
parents | cbf2f74a5130 |
children | 2a34c4dc6a10 |
rev | line source |
---|---|
adamc@190 | 1 (* Copyright (c) 2008, Adam Chlipala |
adamc@190 | 2 * |
adamc@190 | 3 * This work is licensed under a |
adamc@190 | 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 |
adamc@190 | 5 * Unported License. |
adamc@190 | 6 * The license text is available at: |
adamc@190 | 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ |
adamc@190 | 8 *) |
adamc@190 | 9 |
adamc@190 | 10 |
adamc@190 | 11 |
adamc@190 | 12 (** %\chapter{Modeling Impure Languages}% *) |
adamc@190 | 13 |
adamc@204 | 14 (** TODO: This chapter! (Old version was too impredicative) *) |