jnb

use winit::application::ApplicationHandler;
use winit::event_loop;
use winit::window;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let event_loop = event_loop::EventLoop::builder().build()?;
    let mut app = ApplicationWrapper::new();
    event_loop.run_app(&mut app)?;
    Ok(())
}

jnb

PlusCal options (termination)

----------------------------- MODULE TicTacToe -----------------------------

EXTENDS Integers, TLC
  
(* --algorithm pluscal

variables
  board = <<