Go backward to Collecting Log Go up to Top Go forward to A Dynamically Typed Language with Input and Output |
Interactive text editor
copyout: Openfile -> File_|_
copyout = lambda (front, back). null front -> back
[] copyout((tl front), ((hd front) cons back))
ispointed(A ->B) = ispointed(B)
min(A ->B) = lambda a.min(B)