7 Commits

Author SHA1 Message Date
Greg Shuflin
ac9a60d137 Add Nix flake for local development without Docker/VSCode
Provides flake.nix with nix run, nix develop, and nix build commands.
Automatically sets up lean4game platform and starts game server at
http://localhost:3000. See FLAKE_USAGE.md for complete documentation.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-11-11 02:07:34 -08:00
Bulhwi Cha
f9f1597a06 Ignore backup files
Files ending with a tilde suffix are backups.
2024-10-18 16:09:28 +09:00
Jon Eugster
2dde9482d2 bump to v4.7.0 2024-04-10 17:07:22 +02:00
Hydrogenbear
2d4fa2afb1 Update 2024-03-21 08:07:17 +08:00
joneugster
87ecc6bac2 bump to v4.3.0-rc2 2023-11-28 11:44:52 +01:00
joneugster
df04d67f6c modify .gitignore 2023-10-28 11:48:49 +02:00
Jon Eugster
c330bee2e2 initial commit 2023-04-25 18:37:27 +02:00