| Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
| Sun, 08 Mar 2009 20:34:21 -0400 |
Adam Chlipala |
Conversion of functions to CPS, to facilitate ServerCall |
| Sun, 08 Mar 2009 13:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
| Sun, 08 Mar 2009 13:28:21 -0400 |
Adam Chlipala |
RPC returning a default datatype |
| Sun, 08 Mar 2009 12:54:07 -0400 |
Adam Chlipala |
RPC returning an option datatype |
| Sun, 08 Mar 2009 12:37:42 -0400 |
Adam Chlipala |
RPC returning an enumeration |
| Thu, 26 Feb 2009 16:16:54 -0500 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
| Thu, 26 Feb 2009 13:56:54 -0500 |
Adam Chlipala |
Coq README |
| Tue, 24 Feb 2009 16:08:14 -0500 |
Adam Chlipala |
Coq formalization uses TDisjoint |
| Tue, 24 Feb 2009 15:54:05 -0500 |
Adam Chlipala |
Folder generation for functors |
| Tue, 24 Feb 2009 15:38:01 -0500 |
Adam Chlipala |
Folder generation for functions |
| Tue, 24 Feb 2009 15:12:13 -0500 |
Adam Chlipala |
Demos compile again, with manual folders |
| Tue, 24 Feb 2009 14:04:07 -0500 |
Adam Chlipala |
Make folders abstract |
| Tue, 24 Feb 2009 13:50:39 -0500 |
Adam Chlipala |
Top.Fold.mp |
| Tue, 24 Feb 2009 13:46:08 -0500 |
Adam Chlipala |
Top.Fold.concat elaborates |
| Tue, 24 Feb 2009 12:01:24 -0500 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
| Sun, 22 Feb 2009 17:39:55 -0500 |
Adam Chlipala |
demo/sum working with manual folders |
| Sun, 22 Feb 2009 17:17:01 -0500 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
| Sun, 22 Feb 2009 16:33:55 -0500 |
Adam Chlipala |
Turned off termination checking, for now |
| Sun, 22 Feb 2009 16:32:56 -0500 |
Adam Chlipala |
Kind polymorphism through Explify |
| Sun, 22 Feb 2009 16:10:25 -0500 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
| Sat, 21 Feb 2009 16:11:56 -0500 |
Adam Chlipala |
Debug reverse-engineering unification |
| Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
| Sat, 21 Feb 2009 14:10:06 -0500 |
Adam Chlipala |
Finish semantics for Featherweight Ur |
| Sat, 21 Feb 2009 13:22:30 -0500 |
Adam Chlipala |
Time to start thinking about guards |
| Sat, 21 Feb 2009 13:17:06 -0500 |
Adam Chlipala |
Most of expression semantics |
| Sat, 21 Feb 2009 11:23:24 -0500 |
Adam Chlipala |
map-only syntax and semantics |
| Wed, 18 Feb 2009 09:32:17 -0500 |
Adam Chlipala |
Semantics for ordered rows only |
| Tue, 17 Feb 2009 14:49:28 -0500 |
Adam Chlipala |
Start of Featherweight Ur semantics |
| Sun, 15 Feb 2009 13:03:09 -0500 |
Adam Chlipala |
Parameterized RPC query |
| Sun, 15 Feb 2009 12:33:41 -0500 |
Adam Chlipala |
Initial parsing of RPC results |
| Sun, 15 Feb 2009 11:33:53 -0500 |
Adam Chlipala |
Detect AJAX call failures |
| Sun, 15 Feb 2009 11:24:16 -0500 |
Adam Chlipala |
Avoid extra slashes in Cjr urlification |
| Sun, 15 Feb 2009 10:54:00 -0500 |
Adam Chlipala |
Reading and displaying value via AJAX |
| Sun, 15 Feb 2009 10:32:50 -0500 |
Adam Chlipala |
First gimpy RPC |
| Sun, 15 Feb 2009 09:27:36 -0500 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
| Sat, 14 Feb 2009 14:07:56 -0500 |
Adam Chlipala |
Start of RPCification |
| Tue, 27 Jan 2009 09:53:51 -0500 |
Adam Chlipala |
Use normal fields of ctextboxes |
| Sat, 17 Jan 2009 09:55:12 -0500 |
Adam Chlipala |
dlist2 working swimmingly |
| Sat, 17 Jan 2009 09:47:30 -0500 |
Adam Chlipala |
Add dynamic content under proper parents |
| Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
| Tue, 13 Jan 2009 15:23:48 -0500 |
Adam Chlipala |
Combine lib* directories |
| Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
| Sun, 11 Jan 2009 10:41:38 -0500 |
Adam Chlipala |
Do proper insertion of dynamic content within nested DOM containers |
| Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
| Sun, 11 Jan 2009 10:05:06 -0500 |
Adam Chlipala |
Hooking a source into an input |
| Thu, 08 Jan 2009 10:30:14 -0500 |
Adam Chlipala |
Injected a non-special-case datatype |
| Thu, 08 Jan 2009 10:15:45 -0500 |
Adam Chlipala |
Injected a polymorphic, recursive type |
| Thu, 08 Jan 2009 09:57:45 -0500 |
Adam Chlipala |
Injected an enumeration |
| Fri, 02 Jan 2009 13:03:22 -0500 |
Adam Chlipala |
Injected an option |
| Fri, 02 Jan 2009 12:42:39 -0500 |
Adam Chlipala |
Injected a record |
| Thu, 01 Jan 2009 16:11:42 -0500 |
Adam Chlipala |
Injecting strings and bools |
| Thu, 01 Jan 2009 15:59:02 -0500 |
Adam Chlipala |
Injecting a float |
| Thu, 01 Jan 2009 15:11:17 -0500 |
Adam Chlipala |
Injecting an int |
| Thu, 01 Jan 2009 11:58:00 -0500 |
Adam Chlipala |
Included a recursive function in JavaScript |
| Thu, 01 Jan 2009 11:26:34 -0500 |
Adam Chlipala |
Basic datatype reactives |
| Thu, 01 Jan 2009 11:16:57 -0500 |
Adam Chlipala |
Reactive if |
| Thu, 01 Jan 2009 11:13:08 -0500 |
Adam Chlipala |
Reactive bool |
| Thu, 01 Jan 2009 11:04:09 -0500 |
Adam Chlipala |
Reactive record pattern |
| Thu, 01 Jan 2009 10:49:42 -0500 |
Adam Chlipala |
Used an option as a source |
| Thu, 01 Jan 2009 10:18:20 -0500 |
Adam Chlipala |
Reactive computation with more base types and records |
| Thu, 01 Jan 2009 10:08:22 -0500 |
Adam Chlipala |
Source containing an int |
| Tue, 30 Dec 2008 16:11:29 -0500 |
Adam Chlipala |
Double-bind works |
| Tue, 30 Dec 2008 16:08:25 -0500 |
Adam Chlipala |
Propagating a change through a bind |
| Tue, 30 Dec 2008 15:53:04 -0500 |
Adam Chlipala |
Propagated a source change into a dynamic document element |
| Tue, 30 Dec 2008 11:33:31 -0500 |
Adam Chlipala |
Harmonized source-setting between server and client |
| Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
| Tue, 30 Dec 2008 09:43:45 -0500 |
Adam Chlipala |
Merge |
| Tue, 30 Dec 2008 09:43:41 -0500 |
Adam Chlipala |
Starting to implement source set |
| Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
| Wed, 24 Dec 2008 10:48:31 -0500 |
Adam Chlipala |
More manual bug reports from megacz |
| Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
| Sun, 21 Dec 2008 12:01:00 -0500 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
| Sat, 20 Dec 2008 18:24:12 -0500 |
Adam Chlipala |
Typo report from megacz |
| Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
| Sat, 20 Dec 2008 15:46:48 -0500 |
Adam Chlipala |
Initial <dyn> support |
| Sat, 20 Dec 2008 14:19:21 -0500 |
Adam Chlipala |
Start of JsComp |
| Fri, 19 Dec 2008 12:38:11 -0500 |
Adam Chlipala |
Displayed an alert dialog |
| Fri, 19 Dec 2008 11:47:18 -0500 |
Adam Chlipala |
Creation of sources in server code |
| Fri, 19 Dec 2008 10:27:58 -0500 |
Adam Chlipala |
Monad type class seems to be working |
| 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 |
| Sat, 29 Nov 2008 10:34:56 -0500 |
Adam Chlipala |
Typing |
| Sat, 29 Nov 2008 10:05:46 -0500 |
Adam Chlipala |
Definitional equality |
| Sat, 29 Nov 2008 09:48:10 -0500 |
Adam Chlipala |
Disjointness |
| Sat, 29 Nov 2008 09:34:11 -0500 |
Adam Chlipala |
Kinding |
| Thu, 27 Nov 2008 16:55:30 -0500 |
Adam Chlipala |
Shorthands |
| Thu, 27 Nov 2008 15:43:10 -0500 |
Adam Chlipala |
Declarations and modules |
| Thu, 27 Nov 2008 15:27:17 -0500 |
Adam Chlipala |
Expressions |
| Thu, 27 Nov 2008 15:06:29 -0500 |
Adam Chlipala |
Patterns |
| Thu, 27 Nov 2008 14:57:47 -0500 |
Adam Chlipala |
Signatures |
| Thu, 27 Nov 2008 14:38:53 -0500 |
Adam Chlipala |
Start of manual |
