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:
- Clone this repository.
- Run
lake exec snakebird.