diff options
| author | Daniil Kisel <[email protected]> | 2023-10-13 21:54:15 +0300 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-10-13 20:54:15 +0200 |
| commit | 2f08f435b91a08c57bf7e381a46381770a00791e (patch) | |
| tree | 940d4a8ab5edb07b7ee7daa9ee687958a6230bf2 | |
| parent | 4981acb241d18afc4d0db3497ecbe37d1f31808e (diff) | |
| download | raylib-2f08f435b91a08c57bf7e381a46381770a00791e.tar.gz raylib-2f08f435b91a08c57bf7e381a46381770a00791e.zip | |
Add Raylib.lean to BINDINGS.md (#3409)
| -rw-r--r-- | BINDINGS.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BINDINGS.md b/BINDINGS.md index 47a1c0a2..e08f8f79 100644 --- a/BINDINGS.md +++ b/BINDINGS.md @@ -81,6 +81,7 @@ Some people ported raylib to other languages in form of bindings or wrappers to | rayed-bqn | **auto** | [BQN](https://mlochbaum.github.io/BQN/) | MIT | https://github.com/Brian-ED/rayed-bqn | | rayjs | 4.6-dev | [QuickJS](https://bellard.org/quickjs/) | MIT | https://github.com/mode777/rayjs | | raylib-raku | **auto** | [Raku](https://www.raku.org/) | Artistic License 2.0 | https://github.com/vushu/raylib-raku | +| Raylib.lean | 4.5 | [Lean4](https://lean-lang.org/) | BSD-3-Clause | https://github.com/KislyjKisel/Raylib.lean | ### Utility Wrapers These are utility wrappers for specific languages, they are not required to use raylib in the language but may adapt the raylib API to be more inline with the language's pardigm. |