はじめに 定理証明手習いの流れから、このごろ Gauche をやっています。 repl でリロード時にハマったので書きます。 Haskell の GHCi のように単純ではなかったです。 解決方法 使用するファイル全てをモジュール化する add-load-path use reload 使用する…