Gongqi Huang
Gongqi Huang
> This looks really a interesting subject, without looking in depth to this, I am a little concerned about the introduction of `Mutex`. One of Tock's strength was the fact...
Any update on this?
Ah didn't realize this is already an opened issue already. Regardless, an implemented support is on this PR https://github.com/loqusion/typix/pull/61. I would agree on that relying on the upstream nixpkgs would...
> (correct me if i am wrong with that) wouldnt it be most convinient if you could just: > > ```nix > # rdrk where i need to define them...