hack のためのネタ帳, etc,,,
最終更新: kou1okada 2022年07月12日(火) 12:58:31履歴
とりあえず、Windows 10でAgdaはhttps://t.co/XcLVR4Qedgに書いてあるとおりにPowerShellから実行してHaskellをインストール。cabal updatecabal install AgdaでAgdaをインストール。emacsのzipを展開してbinにpathを通してagda-mode setupで.emacsに勝手に設定が書かれるのでrunemacsで起動。— くろっきー (@kurokky969) July 12, 2022
とりあえず、Windows 10でAgdaはhttps://t.co/XcLVR4Qedgに書いてあるとおりにPowerShellから実行してHaskellをインストール。cabal updatecabal install AgdaでAgdaをインストール。emacsのzipを展開してbinにpathを通してagda-mode setupで.emacsに勝手に設定が書かれるのでrunemacsで起動。
このページを編集する このページを元に新規ページを作成
画像に記載されている文字を下のフォームに入力してください。
利用規約をご確認のうえご記入下さい
管理人/副管理人のみ編集できます
コメントをかく