log

age author description
Sat, 22 May 2010 14:09:06 -0400 Adam Chlipala Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
Tue, 18 May 2010 14:47:56 -0400 Adam Chlipala URL-escape with '.' instead of '%', to avoid confusing proxies