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
Yu-Ting Hsiung
27f9c0c644
Fix typo in readme
2025-09-27 11:48:07 +08:00
Rida Hamadani
90c53ce07a
Fix typo
2024-04-11 12:08:46 +03:00
Jon Eugster
f9e8f86c42
Update README.md
2024-04-11 10:13:02 +02:00
Jon Eugster
7a9f61123d
Update README.md
2024-03-21 14:47:08 +01:00
Jon Eugster
6aced8e330
Update README.md
2024-03-21 14:43:03 +01:00
joneugster
b19bb8a23b
update workflow files and readme
2023-11-17 13:14:32 +01:00
Dmitry Savintsev
1dac3cf387
fix dead documentation link
2023-11-04 21:08:04 +01:00
Jon Eugster
156b638623
update readme
2023-09-10 23:49:36 +02:00
Jon Eugster
3b25303d81
progress on gitpod
2023-09-10 21:38:20 +02:00
Jon Eugster
120c5ac6f4
remove Simple Browser
2023-09-10 21:05:59 +02:00
Jon Eugster
cb05a73353
test
2023-09-10 12:47:00 +02:00
Kevin Buzzard
e0f7b5e5c1
spaces
2023-08-07 12:19:43 +01:00
Kevin Buzzard
ed1aa6c020
update README to mention gitpod and codespaces
2023-08-07 12:18:20 +01:00
Jon Eugster
0bd6efa9d8
update readme
2023-08-06 19:40:10 +02:00
Jon Eugster
b5ce7fe777
update installation instructions
2023-06-16 13:50:45 +02:00
Jon Eugster
a8d61e4770
Update README.md
2023-04-28 18:29:10 +02:00
Jon Eugster
5d2b8817d0
Update README.md
2023-04-28 18:28:39 +02:00
Jon Eugster
548bff89be
Update README.md
2023-04-28 18:27:59 +02:00
Jon Eugster
071ebc8a17
Update README.md
2023-04-26 00:35:33 +02:00
Jon Eugster
3d98a830d6
Update README.md
2023-04-25 18:30:25 +02:00
Jon Eugster
66dc22da84
Initial commit
2023-04-25 18:28:59 +02:00
