log

age author description
Tue, 11 Aug 2009 11:26:37 -0400 Adam Chlipala Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference