你即將離開本站

並前往https://homotopytypetheory.org/2021/12/01/the-hott-game/

The HoTT Game | Homotopy Type Theory

I managed to install doom emacs as per the instructions there. Next step: “cabal install make” outcome: “cabal.exe unknown package “make”.”

確定！ 回上一頁

查詢 「Doom Emacs」的人也找了：

  1. Doom Emacs
    2.
  2. Doom Emacs lsp
    3.
  3. Doom Emacs tutorial
    4.
  4. Prelude emacs
    5.
  5. Doom emacs vs Spacemacs
    6.
  6. Doom modeline
    7.
  7. Spacemacs
    8.
  8. Neovim
    9.