サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
oxij.org
by Jan Malakhovski, v. 16.3, published 2013-02-04, last updated 2024-06-28Literate Source Agda doesn’t lack tutorials and introductions, see below for a rather long list of recommendations. There’s a lot to read already, why another introduction? Because there is a gap. The Theory is huge and full of subtle details that are mostly ignored in tutorial implementations and hidden in language tutorial
このページを最初にブックマークしてみませんか?
『oxij.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く