b's .emacs.d, with configurations for OCaml, .NET, Coq/Proof General, and Rust
Why do you think that https://github.com/meain/dotfiles is a good alternative to .emacs.d
b's .emacs.d, with configurations for OCaml, .NET, Coq/Proof General, and Rust
Why do you think that https://github.com/meain/dotfiles is a good alternative to .emacs.d