I'd really like to use oak in Differential Datalog, but unfortunately it has the requirement of stable Rust, allowing the nightly features to be toggled with a Cargo feature or removing them entirely to allow stable compilation would be really amazing
I'd really like to use oak in Differential Datalog, but unfortunately it has the requirement of stable Rust, allowing the nightly features to be toggled with a Cargo feature or removing them entirely to allow stable compilation would be really amazing