Skip to content

Commit

Permalink
Fix CSE example.
Browse files Browse the repository at this point in the history
  • Loading branch information
sudonatalie committed Jun 7, 2017
1 parent 28d7ae1 commit 47a2665
Showing 1 changed file with 2 additions and 6 deletions.
8 changes: 2 additions & 6 deletions Chapters/RelatedWork.lhs
Original file line number Diff line number Diff line change
Expand Up @@ -19,13 +19,9 @@ Given the expression:

|let x = 3 in let y = 2+3 in 2+3+4|

the first CSE on the subexpressions yields:
the result of the recursive trransformation is:

|let x = 3 in let y = 2+x in y+4|

and then the recursive transformation produces:

|let x = 3 in let y = 2+x in 2+x+4|
|let x = 3 in let y = 2+x in y+4|.

\section{Let-floating}
\label{sec:let_floating}
Expand Down

0 comments on commit 47a2665

Please sign in to comment.