GitBucket
modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。 #10
Merged
y-ota
merged 1 commit
into
nitta-lab:master
from nitta-lab:methodBodyGen
on 1 May 2020
| 2020-04-30 |
|---|