このリポジトリはk-frameworkの公式チュートリアルだけ含みます。チュートリアルの補助ファイル、kツールズなどのこと公式k-frameworkリポ（リンクは下にあります）からダウンロード可能です。
原作: https://github.com/kframework/k/tree/master/k-distribution/tutorial
- あらかじめ作成 K ツールバイナリーもチュートリアルのソースファイルも含む仮装マシーンイメージは下にあるリンクからダウンロードできます。 http://www.kframework.org/index.php/K_tool_binaries
- virtualboxから machine -> add -> ダウンロードしたファイルをクリックして。
- 用意した仮装マシーンイメージは vi エディターしかインストールされていません。
より入門向けプログラミング言語を検査する教科書が欲しい方に、software foundationsシリーズの第二巻「赤いやつ」「programming language foundations」がおすすめです。日本語版はこのリンクで読めます。 https://www.chiguri.info/sfja/
英語を母国語としているので、編集・修正があったら是非是非pull requestしてください。