1. 首頁
  2. 問答
  3. 加載多個MIT方案文件

加載多個MIT方案文件

2015-08-21 60 views
0

我在Ubuntu Linux上運行MIT方案。我試圖從麻省理工學院出版社出版的書「小小的證明者」中找到證明助手。我嘗試從MIT-Scheme CLI加載三個Scheme文件。似乎遇到第一個文件上的EOF時，其他兩個文件未被編譯。爲了編譯所有三個文件，我應該做些什麼不同？加載多個MIT方案文件

感謝，

瓦西里

來源

2015-08-21 Vasili Galchin

回答

0

只需使用三種不同的命令，或PROGN像我在這裏做：

> (progn 
     (load "FILEPATH 1") 
     (load "FILEPATH 2") 
     (load "FILEPATH 3"))

來源

2016-07-19 06:57:51

相關問題

 相關問題