André implemented a lazily evaluated subset of Scheme (MIT's dialect of LISP) in Haskell. In this presentation, he will discuss the lessons learned and insights gained through the process of creating this subset.