| 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 |
| Thu, 27 Nov 2008 13:43:15 -0500 |
Adam Chlipala |
Note optimizations in changelog |
| Thu, 27 Nov 2008 12:43:28 -0500 |
Adam Chlipala |
Avoid Especializing polymorphic code |
| Thu, 27 Nov 2008 12:34:44 -0500 |
Adam Chlipala |
Ditch use of ElabEnv.env in Especialize, to realize big speed-up |
| Thu, 27 Nov 2008 12:04:54 -0500 |
Adam Chlipala |
Untangle and shake within Especialize loop |
| Thu, 27 Nov 2008 11:40:13 -0500 |
Adam Chlipala |
Optimize CoreUntangle |
| Thu, 27 Nov 2008 11:17:56 -0500 |
Adam Chlipala |
Remove some isUnitCon cases |
| Thu, 27 Nov 2008 11:06:10 -0500 |
Adam Chlipala |
Catch another unneeded lift in ElabEnv.pushCRel |
| Thu, 27 Nov 2008 10:57:56 -0500 |
Adam Chlipala |
Optimized ElabOps.subConInCon |
| Thu, 27 Nov 2008 10:46:45 -0500 |
Adam Chlipala |
Stop using redundant Defunc pass |
| Thu, 27 Nov 2008 10:40:29 -0500 |
Adam Chlipala |
Remove unnecessary lifts in ElabEnv.pushCRel |
| Thu, 27 Nov 2008 10:13:22 -0500 |
Adam Chlipala |
Remove unnecessary [kindof] calls |
| Wed, 26 Nov 2008 15:42:00 -0500 |
Adam Chlipala |
Port Reduce improvements to ReduceLocal |
| Wed, 26 Nov 2008 15:03:45 -0500 |
Adam Chlipala |
crud1 compiles with new Reduce |
| Wed, 26 Nov 2008 14:51:52 -0500 |
Adam Chlipala |
Fix environments for repeat visits for exp reduction |
| Wed, 26 Nov 2008 12:59:32 -0500 |
Adam Chlipala |
Most exp rules for new Reduce |
| Wed, 26 Nov 2008 12:13:00 -0500 |
Adam Chlipala |
Start of new Reduce |
