repos / machines.rs.git

main.rs

1use machines::abstract_machines::cek;
2use machines::abstract_machines::krivine;
3use machines::virtual_machines::cam;
4
5fn main() {
6    cek::main();
7    krivine::main();
8    cam::main();
9}