Closed aiya000 closed 6 years ago
idrisは依存型をとてもサポートした言語で、構文など色々Haskellに似ています :dog2:
以下は参考までに 👍
挿入位置はアルファベット順でお願いしますっ!
あっごめんなさい、やったつもりがなってなかった…!
対応しました!
放置してすいません、ありがとうございました!
idrisは依存型をとてもサポートした言語で、構文など色々Haskellに似ています :dog2:
以下は参考までに 👍