Beispiel #1
0
  public static int LWriteFile(Object w, Object file, String str) {

    return Prelude.fputStrWithBytesWritten(file, str);
  }
Beispiel #2
0
 public static String LReadFile(Object w, Object file) {
   return Prelude.idris_readStr(file);
 }