DSLstandard/Lean4-FFI-Programming-Tutorial-GLFW

Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.

Language: Lean - Size: 47.9 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 8 - Forks: 0