|
|
1.1 ! root 1: structure Invoke = ! 2: struct ! 3: structure Main = Main ! 4: ! 5: (* User Interface *) ! 6: ! 7: fun cut_off_last_char s = (implode o rev o tl o rev o explode) s ! 8: ! 9: fun user_interface () = ! 10: (output std_out "ML-Twig version 1.0, June 1989\n\ ! 11: \Name of the specification file : "; flush_out std_out; ! 12: cut_off_last_char(input_line std_in)) ! 13: ! 14: val dummy = Main.main(user_interface()) ! 15: end;
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.