サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
www.type-driven.org.uk
I've just released a new version of Idris 2, which is a significant release in that it's the first one which is able to compile itself. Thus, it's the first one where we can really see how the performance of Idris 2 improves on the performance of Idris 1. A question people sometimes ask when discussing Idris on various parts of the Internet is "Why is Idris 2 so much faster than Idris 1?" Sometime
このページを最初にブックマークしてみませんか?
『www.type-driven.org.uk』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く