“The file repl/init” と書いてあったものの、一瞬わからなかったのでメモ 🐕
この記事はこちらから修正リクエストを送ることができます。
IdrisのREPLの設定ファイルは~/.idris/repl/init - github
ゴミ箱ボタンの左にある、鉛筆ボタンを押してね!
“The file repl/init” と書いてあったものの、一瞬わからなかったのでメモ 🐕
この記事はこちらから修正リクエストを送ることができます。
IdrisのREPLの設定ファイルは~/.idris/repl/init - github
ゴミ箱ボタンの左にある、鉛筆ボタンを押してね!