Mercurial > urweb

comparison CHANGELOG @ 665:910bf013da4a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mention src/coq in CHANGELOG
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Mar 2009 12:37:02 -0400
parents bddf0da18db6
children 5b8617b73540
comparison
equal deleted inserted replaced
664:c90906b2f431 665:910bf013da4a
9 guarded expression abstraction, and with a new explicit application form 9 guarded expression abstraction, and with a new explicit application form
10 - Kind polymorphism 10 - Kind polymorphism
11 - Generalize type classes to constructor classes 11 - Generalize type classes to constructor classes
12 - Initial compilation of client-side code to JavaScript 12 - Initial compilation of client-side code to JavaScript
13 - Initial support for mixed client- and server-side programming (i.e., "AJAX") 13 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
14 - src/coq: Coq formalization of a core Ur-like calculus
14 15
15 ======== 16 ========
16 20081209 17 20081209
17 ======== 18 ========
18 19