From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 25 Jan 2025 10:45:41 +0100 Subject: Move λ-calcul workshop code to subdirectory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- rust/src/main.rs | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 rust/src/main.rs (limited to 'rust/src/main.rs') diff --git a/rust/src/main.rs b/rust/src/main.rs deleted file mode 100644 index 8d52c46..0000000 --- a/rust/src/main.rs +++ /dev/null @@ -1,18 +0,0 @@ -use std::{ - env::args, - io::{stdin, stdout, IsTerminal}, -}; - -use lambda::io::{batch_eval, eval_file, repl}; - -fn main() { - if args().count() > 1 { - for file in args().skip(1) { - println!("{}", eval_file(&file)); - } - } else if stdin().is_terminal() { - repl(&mut stdin(), &mut stdout()); - } else { - batch_eval(&mut stdin(), &mut stdout()); - } -} -- cgit v1.2.3