Skip Navigation
xameer HoldMyType @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

Posts 1
Comments 1
#rust analyzer question for #emacs folks

  • @thevoidzero not doom/space just regular emacs with vterm ( 29±)
    rust is nightly on nixos 24.11 last I checked
    in a devshell
    rust setup
    https://git.sr.ht/~carnotweat/morning-rust

    • Rust @programming.dev HoldMyType @mathstodon.xyz

    #rust analyzer question for #emacs folks

    \#rust analyzer question for #emacs folks In client more I see run and debug But gui emacs I don't .. why pfa

    @rust

    2