yoshihiro503 · August 13, 2015 11:13
diff --git a/file2.txt b/file2.txt
 Error: Destructing let on this type expects 2 variables.
diff --git a/file3.txt b/file3.txt
 let (変数名1, ..., 変数名n) := 式1 in ...
diff --git a/file4.txt b/file4.txt
 match 式1 with
 | コンストラクタ(変数名1,...,変数名n) => ...
 end
diff --git a/Ninja.v b/Ninja.v
  let '(x, y, z) := (1, 2, 3) in
  ...
	match 式1 with
	\| コンストラクタ(変数名1,...,変数名n) => ...
	end