log

age author description
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Fri, 19 Dec 2008 09:35:44 -0500 Adam Chlipala Add initial C support for reactive
Tue, 09 Dec 2008 14:44:52 -0500 Adam Chlipala Prepare to release
Tue, 09 Dec 2008 14:43:43 -0500 Adam Chlipala Spell check
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Tue, 09 Dec 2008 14:06:51 -0500 Adam Chlipala Proofreading pass
Tue, 09 Dec 2008 11:57:17 -0500 Adam Chlipala Building an application
Tue, 09 Dec 2008 11:52:56 -0500 Adam Chlipala .urp files
Tue, 09 Dec 2008 11:40:51 -0500 Adam Chlipala Installation
Sun, 07 Dec 2008 15:10:59 -0500 Adam Chlipala Intro
Sun, 07 Dec 2008 15:01:21 -0500 Adam Chlipala The structure of web applications
Sun, 07 Dec 2008 14:50:03 -0500 Adam Chlipala Compiler phases
Sun, 07 Dec 2008 12:21:47 -0500 Adam Chlipala XML syntax
Sun, 07 Dec 2008 12:10:51 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 12:02:54 -0500 Adam Chlipala Query syntax
Sun, 07 Dec 2008 11:19:13 -0500 Adam Chlipala Treat user-provided error messages as XML
Sun, 07 Dec 2008 10:59:14 -0500 Adam Chlipala XML
Sun, 07 Dec 2008 10:25:55 -0500 Adam Chlipala Sequences
Sun, 07 Dec 2008 10:24:23 -0500 Adam Chlipala DML
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Sun, 07 Dec 2008 09:19:53 -0500 Adam Chlipala Start of sql_exp
Sat, 06 Dec 2008 13:04:48 -0500 Adam Chlipala Start of Ur/Web library
Sat, 06 Dec 2008 12:01:12 -0500 Adam Chlipala Type inference
Sat, 29 Nov 2008 15:04:57 -0500 Adam Chlipala Module projection
Sat, 29 Nov 2008 14:32:33 -0500 Adam Chlipala selfify
Sat, 29 Nov 2008 14:09:43 -0500 Adam Chlipala Module typing
Sat, 29 Nov 2008 13:50:53 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 12:58:58 -0500 Adam Chlipala Signature compatibility
Sat, 29 Nov 2008 11:33:51 -0500 Adam Chlipala Declaration typing
Sat, 29 Nov 2008 10:49:47 -0500 Adam Chlipala Pattern typing