New top story on Hacker News: VLISP: A Verified Implementation of Scheme (1993) [pdf] Posted By: Rushan Skywalker 4:55 PM Leave a Reply VLISP: A Verified Implementation of Scheme (1993) [pdf] 53 by servytor | 3 comments on Hacker News. Tweet Share Share Share Share
0 comments: