2023-02-01から1ヶ月間の記事一覧
ブログで書いたつもりになってゐて 書いてゐなかったので まとめてみる 1. coc.nvimをインストールする 2. CocConfigコマンドを實行して Language Server の設定を書く 3. GHCと Haskell Language Server (HLS) をインストール (GHCup) 1について まづ vim …
docker のインストールについて https://docs.docker.com/engine/install/debian/ に 色々説明がのってゐる それを 参考にした sudo apt update 必要なものを インストール sudo apt install ca-certificates curl gnupg lsb-release キーを取得 sudo mkdir …