Any experience? I don’t expect problems, but Haskell has taught me to be careful, and even Coq plays non-trivial system level games sometimes.
(but I don’t use
native_compute, so I probably don’t rely on most of those tricks)
Last updated: Jan 28 2023 at 07:30 UTC