# idris2-window

Idris2 native cross-platform window creation and management library.

It's built via a C binding to [winit](#winit-bindings) Rust crate.

## Winit bindings

The bindings for [winit](https://github.com/rust-windowing/winit) Rust crate are generated from `bind_winit`. To regenerate the C header file `bind_winit.h` run `just gen_header`