2
0
Эх сурвалжийг харах

Add Raylib.lean to BINDINGS.md (#3409)

Daniil Kisel 1 жил өмнө
parent
commit
2f08f435b9
1 өөрчлөгдсөн 1 нэмэгдсэн , 0 устгасан
  1. 1 0
      BINDINGS.md

+ 1 - 0
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.