log

age author description
Sat, 26 Sep 2009 12:45:19 -0400 Adam Chlipala Whitelisting tags that may be self-closed
Thu, 24 Sep 2009 15:45:37 -0400 Adam Chlipala Add tail call optimization to interpretation