AVM Programs

This directory contains examples demonstrating the AVM object model and interaction semantics.

• PingPong

  ---

  The classic ping-pong example demonstrating object-to-object communication via mutual message passing.

  cd specs/docs
  agda --compile examples/PingPong/Runner.lagda.md
  ./Runner
  

  View Example

• Battleship

  ---

  A Battleship game demonstrating stateful object interactions, game orchestration, and turn-based coordination between multiple player objects.

  cd specs/docs
  agda --compile examples/Battleship/Runner.lagda.md
  ./Runner
  

  View Example