iridium

Uses Idris's dependent type system for configuration, providing compile-time correctness guarantees and reducing runtime errors, as highlighted in the key features.

Abstracts away low-level X11 implementation details, offering a simpler interface for configuration, which is a core feature mentioned in the project description.

Maintains the core dynamic tiling philosophy and patterns of xmonad, ensuring familiarity for existing users without sacrificing functionality.