Skip to content

Instantly share code, notes, and snippets.

@yamarten
Last active November 10, 2017 10:26
Show Gist options
  • Save yamarten/aa640a08bae43d190fa4137c5291f4f5 to your computer and use it in GitHub Desktop.
Save yamarten/aa640a08bae43d190fa4137c5291f4f5 to your computer and use it in GitHub Desktop.
ProofScript紹介
研究室で link:https://github.com/proofpeer/proofpeer-proofscript[ProofScript] について紹介したが、せっかく面白い言語なので共有。
ps1.pdf が大元のプロジェクトである ProofPeer の紹介と ProofScript のプログラミング言語部分の紹介。 ps2.pdf が ProofScript の残りの紹介。
正確性とかについては保証できないので自分で確かめていただきたく。
Display the source blob
Display the rendered blob
Raw
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment