Idrisを触って「型周りの書き方が整理されたHaskell」くらいにしか理解できていないので、この辺いずれちゃんと理解したいんだけど、Idrisをしっかり追いかけるのが正しいのか、まずCoqをやるべきなのか……。

zyzy のブックマーク 2013/12/31 19:50

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/174422482/comment/zyzy" data-user-id="zyzy" data-entry-url="https://b.hatena.ne.jp/entry/s/qiita.com/mandel59/items/d726249e8f371a7ea966" data-original-href="https://qiita.com/mandel59/items/d726249e8f371a7ea966" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fqiita.com%2Fmandel59%2Fitems%2Fd726249e8f371a7ea966" data-user-icon="/users/zyzy/profile.png">ほんとうはこわいIdris 〜 tacticメタプログラミング - Qiita</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/Idris">Idris</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0">プログラミング</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E5%8B%89%E5%BC%B7">勉強</a>]</li></ul><br><p style="clear: left">Idrisを触って「型周りの書き方が整理されたHaskell」くらいにしか理解できていないので、この辺いずれちゃんと理解したいんだけど、Idrisをしっかり追いかけるのが正しいのか、まずCoqをやるべきなのか……。</p><a class="datetime" href="https://b.hatena.ne.jp/zyzy/20131231#bookmark-174422482"><span class="datetime-body">2013/12/31 19:50</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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