2,617
次編輯
「Dafny雜記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學}} == 安裝 == # Ubuntu 系Linux：先灌 .NET 6.0 <code>sudo apt install dotnet-sdk-6.0</code> # 下載最新版本，解壓縮 (…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 16： | 行 16： | ||
method Main(){ // 記得大寫 | method Main(){ // 記得大寫 | ||
var a := 1 + 1; // 局域變數用 := 設定值 | var a := 1 + 1; // 局域變數用 := 設定值 | ||
print " | print "Hello，汝好\n"; | ||
assert a == 2; // 斷言 a == 2，編譯會過 | assert a == 2; // 斷言 a == 2，編譯會過 | ||
}</pre> | }</pre> | ||
| 行 28： | 行 28： | ||
編譯結果，沒有錯誤： | |||
<pre> | <pre> | ||