・Twitter.model が運が良ければ正しくコード生成できるようになった．・cons() 以外のリスト処理関数も型推論で使用するようにする．

Fork: 1

y-ota / AlgebraicDataflowArchitectureModel

Browse code ・Twitter.model が運が良ければ正しくコード生成できるようになった．・cons() 以外のリスト処理関数も型推論で使用するようにする． master
1 parent ca70e99 commit db899a3ef3e427c05ab286177d712daac7c7f1bd n-nitta authored on 16 Apr 2021

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/models/Twitter.model

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/JavaMethodBodyGenerator.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/JerseyMethodBodyGenerator.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java

Show line notes below