Re: Implementing Syntactic Reflection in Nuprl
David Van Horn <[email protected]> Tue, 05 Apr 2005 13:18:39 -0400
| Newsgroups | gmane.org.ballistichelmet.lambda |
|---|---|
| Message-ID | <[email protected]> |
David Van Horn wrote: > Wednesday, March 30, 2005 > 12:00(*)-1:15 **Wednesday, April 6, 2005** <<----- corrected date