サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
oxij.org
February, 04 2013 00:00 — March, 14 2013 01:22 tags: fpagdadependent typeslogic Introduction to introduction Agda doesn’t lack tutorials and introductions, there is a whole page of them on the Agda wiki [1] (for a general documentation list see [2]). Personally, I recommend: Anton Setzer’s introduction (works especially very well for those with a logical background, but is easy enough to follow fo
このページを最初にブックマークしてみませんか?
『oxij.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く