[\#rust](https://mathstodon.xyz/tags/rust) analyzer question for [#emacs](https://mathstodon.xyz/tags/emacs) folks In client more I see run and debug But gui emacs I don't .. why pfa [@rust](https://programming.dev/c/rust)

8
1
xameer Now
1 0

HoldMyType

xameer@ mathstodon.xyz

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml