Jake Chvatal

I've found a couple of good examples [here](https://github.com/alex-chew/z3d-rs); I've opened a quick PR to fix one of the examples after updating the z3 crate for that repository but am having...

I'm running z3 4.8.10; looks like this has been resolved.

Why not re-release and bump the major version? It's not difficult to explain why and there won't then be compatibility issues.

Would love to get this in as well! Let me know if there is a way to help.

bump - would appreciate this

Looks like the docs are now up-to-date: https://www.nushell.sh/book/custom_commands.html#sub-commands. This can be closed

I'd love to spearhead this if this is still desired! 😁

Sure! Just wondering how we should set this up in the repository - I'm thinking: - Rename `linux` to `xorg` - Create new `wayland` folder with same structure - In...

- Let's use ~X11~ x11 as the name - Looks like GTK3 builds statically with both Wayland and X11 by default, based on https://github.com/GNOME/gtk/blob/7213bf5b09dfd9d9daf5c30a257a8792e4c66421/meson.build. This seems like something we'd want...

looks like nobody has made a nice nixos module for this. might have to tackle it myself!