サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
デスク環境を整える
www.megacz.com
16-Apr-2011: Now branching from the official ghc base git repo 19-Mar-2011: Things should be working again; I did my own darcs-to-git on the base repo 12-Mar-2011: The “base” repository has moved from darcs to git 10-Mar-2011: The repository names have changed; see below In order to implement heterogeneous metaprogramming for GHC, I have produced a complete formalization of System FC1 in Coq. The
This is a quick page I've thrown together for my Coq library formalizing basic category theory. The development follows Steve Awodey's book on category theory; the files are named after chapters and subchapters of that book for easy reference. Getting It The gitweb is here. You might also want to look at the README Design Decisions One of the difficulties with putting together a formalization of c
このページを最初にブックマークしてみませんか?
『www.megacz.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く