GitBucket
|
|
|---|
|
・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ・Listの実装型をArrayListにした。
0
#11 opened
on 1 May 2020
by n-nitta
|
|
modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。
0
#10 opened
on 1 May 2020
by n-nitta
|
|
MethodBodyGen
0
#9 opened
on 30 Apr 2020
by n-nitta
|
|
MethodBodyGen
0
#8 opened
on 29 Apr 2020
by n-nitta
|
|
ASTNodeからtoString()で実装を出力できるようにした、等
0
#7 opened
on 25 Apr 2020
by n-nitta
|
|
Javaのコード生成用にjava.astパッケージを作成した。
0
#6 opened
on 17 Apr 2020
by n-nitta
|
|
ユーザインタフェース周りを一通り作成。
0
#5 opened
on 23 Mar 2020
by n-nitta
|
|
以下の修正および改良
0
#4 opened
on 11 Mar 2020
by n-nitta
|
|
代数処理系を別パッケージに分けた。
0
#3 opened
on 10 Mar 2020
by n-nitta
|
|
代数処理系を追加
0
#2 opened
on 10 Mar 2020
by n-nitta
|
|
コードのひな型（インタフェース）を追加した。
0
#1 opened
on 15 Feb 2020
by n-nitta
|