ammkrn/k_framework_tutorial_jp

k-framework日本語 (公式チュートリアルの非公式翻訳)

使い方

このリポジトリは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してください。