proof of concept: talking to `isabelle server`

for now this just checks a file given on the command line, and panics if
anything at all goes wrong.

1 files changed, 0 insertions, 17 deletions

diff --git a/isabelle-unicode/src/lib.rs b/isabelle-unicode/src/lib.rs
index 30a7cec..b9fcc37 100644
--- a/isabelle-unicode/src/lib.rs
+++ b/isabelle-unicode/src/lib.rs
@@ -53,20 +53,3 @@ impl PrettyUnicode for str {
     }
 }
 
-// fn main() {
-
-//     let stdin = io::stdin();
-
-//     stdin.lock()
-//          .lines()
-//          .filter_map(|line| match line {
-//              Ok(line) if line.trim().is_empty()
-//                  => Some("\n".to_string()),
-//              Ok(line)
-//                  => line.to_pretty_unicode(),
-//              Err(_)
-//                  => None
-//          })
-//         .for_each(|line| print!("{}", line));
-
-// }