Mercurial > urweb
comparison CHANGELOG @ 665:910bf013da4a
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 |