How to copy (or better, clone) files in Potion

filecopy.pn

Path = class (path): /path = path.

Path read = ():
  file = File (/path, "r+")
  r = file read (100)
  contents = (r)
  while (r != nil): 
    r = file read (100)
    contents append (r)
  .
  contents join
.

Path write = (contents):
  File (/path, "w+") write (contents).

Path append = (contents):  
  File (/path, "a+") write (contents).


Path copy = (dest):
  Path (dest) write (self read).


Path ("INSTALL.md") copy ("INSTALL_copy.md")