yamarten · November 10, 2017 10:26
diff --git a/proofscript.asc b/proofscript.asc
 研究室で link:https://github.com/proofpeer/proofpeer-proofscript[ProofScript] について紹介したが、せっかく面白い言語なので共有。

 ps1.pdf が大元のプロジェクトである ProofPeer の紹介と ProofScript のプログラミング言語部分の紹介。 ps2.pdf が ProofScript の残りの紹介。

 正確性とかについては保証できないので自分で確かめていただきたく。
diff --git a/ps1.pdf b/ps1.pdf
diff --git a/ps2.pdf b/ps2.pdf
	研究室で link:https://github.com/proofpeer/proofpeer-proofscript[ProofScript] について紹介したが、せっかく面白い言語なので共有。

	ps1.pdf が大元のプロジェクトである ProofPeer の紹介と ProofScript のプログラミング言語部分の紹介。 ps2.pdf が ProofScript の残りの紹介。

	正確性とかについては保証できないので自分で確かめていただきたく。