lean-snakebird

lean-snakebird is a Lean-based implementation of the game Snakebird. This project was inspired by lean4-maze which shows off the meta-programming capabilities of Lean 4. Accordingly, lean-snakebird implements a DSL in Lean 4 which can be used to define levels of the game:

def level8 :=
••••••••••••••◎•
••••••••••••••••
••┏━1••••••••▦▦▦
•╺┛0━╸•••••✸✸✸▦▦
▦▦▦▦▦▦✸✸✸••✸••••
•▦▦▦▦▦••✸✸▦✸••••
••••••••••••••••
••••••••••••••••
∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼∼

To run the game:

  1. Clone this repository.
  2. Run lake exec snakebird.