Don Syme
Don Syme
@baronfel This is a no-op change failing, we need a change to CI? Thanks
> This is most likely because the version of 7 previews has floated on the machines and something else is now the problem. So there's probably some actual code changes...
The missing '2' functions are by design Could you submit a PR for the others?
@OlegAlexander would you like to become co-maintainer here?
Could you submit a PR for this?
@dungpa Thanks for this, I'm looking forward to playing around with it. @fwaris I'm investigating using Z3 for some work I'm doing, if it's of interest to align
OK cool thank you. I ended up using Z3 directly, see https://github.com/DiffSharp/DiffSharp/pull/207#issuecomment-706617964
I think this project might be a great starting point for what is discussed here: https://twitter.com/dsyme/status/676828486217113600. If so, @vlasenkoalexey perhaps we could consider moving it http://github.com/fsprojects to enable it to...
@stephan-tolksdorf Any thoughts on this? There's some talk of creating a temporary fork, is that something you'd encourage or discourage? Thanks