changeset 665:910bf013da4a

Mention src/coq in CHANGELOG
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Mar 2009 12:37:02 -0400
parents c90906b2f431
children 5130228d2b29
files CHANGELOG
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/CHANGELOG	Thu Mar 12 12:34:39 2009 -0400
+++ b/CHANGELOG	Thu Mar 12 12:37:02 2009 -0400
@@ -11,6 +11,7 @@
 - Generalize type classes to constructor classes
 - Initial compilation of client-side code to JavaScript
 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
+- src/coq: Coq formalization of a core Ur-like calculus
 
 ========
 20081209