Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on Aug 18th, 2012  |  syntax: None  |  size: 0.23 KB  |  hits: 17  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. \begin{lstlisting}[mathescape=true]
  2. $\Pi'$($\Pi$, I) = {
  3.   // from ex. 1: $\Pi$ may not halt $\Rightarrow$ (c)
  4.   var result = call $\Pi$(I);
  5.  
  6.   // == is an operator, not a function call
  7.   return (result == I + I);
  8. }
  9. \end{lstlisting}
create a new version of this paste RAW Paste Data