『Scala vs Idris: Dependent Types, Now and in the Future』へのコメント

Scala vs Idris: Dependent Types, Now and in the Future

Kureduki_Maari のブックマーク 2013/12/29 22:14

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/175426138/comment/Kureduki_Maari" data-user-id="Kureduki_Maari" data-entry-url="https://b.hatena.ne.jp/entry/s/www.infoq.com/presentations/scala-idris/" data-original-href="https://www.infoq.com/presentations/scala-idris/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.infoq.com%2Fpresentations%2Fscala-idris%2F" data-user-icon="/users/Kureduki_Maari/profile.png">Scala vs Idris: Dependent Types, Now and in the Future</a><br><p style="clear: left">Scala vs Idris: Dependent Types, Now and in the Future</p><a class="datetime" href="https://b.hatena.ne.jp/Kureduki_Maari/20131229#bookmark-175426138"><span class="datetime-body">2013/12/29 22:14</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Scala vs Idris: Dependent Types, Now and in the Future

www.infoq.com2013/12/05

InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example

10 人がブックマーク・3 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Scala vs Idris: Dependent Types, Now and in the Future

はてなブックマーク

公式Twitter

はてなのサービス