 Nicolas Luck
|
f324c9591d
|
Refactor result parsing to idiomatic Rust and extract into parsed_results.rs
|
2023-07-12 10:34:07 +02:00 |
|
|
Nicolas Luck
|
3347f830c7
|
Remove debug println!s
|
2023-07-12 01:26:54 +02:00 |
|
|
Nicolas Luck
|
568abef5b8
|
Parsed QueryResult
|
2023-07-12 01:24:39 +02:00 |
|
|
Nicolas Luck
|
703efdb22d
|
Make run_input_once/0 match and print all results
|
2023-07-12 00:03:47 +02:00 |
|
|
Nicolas Luck
|
2f45f0cfed
|
Add convenience methods Machine::load_module_string() and Machine::run_query()
|
2023-07-11 14:51:58 +02:00 |
|
|
Nicolas Luck
|
112d398175
|
Add Machine::run_input_once() which reads one goal from user input and runs it
|
2023-07-11 14:24:30 +02:00 |
|
|
Nicolas Luck
|
95b31146b5
|
Add Machine::set_user_input(&mut self, input: String) and get_user_output() -> String. Make read_term_from_user_input() handle Stream::Byte.
|
2023-07-11 14:22:27 +02:00 |
|