・init {} で初期化ができるようにした。 ...

・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。

・JumpGame.model　の変数名の誤りの修正． ...

・ref ポートに定義されたリソースをコンストラクタの引数として渡し，フィールドの初期化を行うようにする．
・コンパイルエラーが出るので，タプル型フィールドの初期化は行わないようにする．（リスト型フィールドのみ初期化する．）
・小数の定数を double 型，整数の定数を int 型として解釈するようにする．

・アーキテクチャモデルへの ref ポートの導入に対応した．（JumpGame.model で2段ジャンプを禁止できるようにするため，ref ...

ポートを含むようなループのみ受け入れ可能にした．）
・JumpGame.model の追加．
・Tuple 型の pull data transfer の JAX-RS コードが正しく生成されていなかったのを修正．

・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． ...

・数式の実装表現を生成するときに，副作用コードと式表現を分けて生成できるようにする．
・tuple() 関数が動くようにする．（タプル型インスタンスを生成できるようにする．）
・sum() 関数を GENERATIVE 型のシンボルで定義しなおす．
・merge() 関数を GENERATIVE 型のシンボルで定義する．
・定数 nil の実装．（Parser で登録されている定数を識別できるようにする．）
・List 型の set()，get()　関数を定義する．

・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ...

・Listの実装型をArrayListにした。
・型情報をきちんとパースするように修正した。（コロンの直後にスペースがあると処理できなかった。）
・consのシグニチャを設定した。

modelファイル中で、リソース状態の型を指定できるようにした。 ...

out payment(p:Int, purchase(x)) == x
のように。

代数処理系を別パッケージに分けた。

代数処理系を追加