idris2-window

Idris2 native cross-platform window creation and management library.

It's built via a C binding to winit Rust crate.

Winit bindings

The bindings for winit Rust crate are generated from bind_winit. To regenerate the C header file bind_winit.h run just gen_header