Types and Programming Languages著者: Benjamin C. Pierce
Types and Programming Languages
Types and Programming Languages著者: Benjamin C. Pierce
Springer Exemplar
Providing researchers with access to millions of scientific documents from journals, books, series, protocols, reference works and proceedings.
Steve.org.uk: Terminal Screen [tscreen]
tscreen is a fork of GNU Screen. It is a perpetual work in progress. Why fork? I use Debian GNU/Linux, and the screen packages there have several things missing, or not available fully. Typically the response to these issues is that unless GNU Screen's upstream agrees with a patch, or change, that the Debian package will not be updated. This is a principle I agree with in general, but it does mean
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
