Giters

xavierzwirtz / idris2-raylib

Idris2 bindings for raylib

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2-raylib

Idris2 bindings for raylib.

See examples folder for examples.

About

Idris2 bindings for raylib

License:MIT License

Languages

Language:Nix 92.2%Language:C 6.2%Language:Idris 1.6%