Proofs - Logic Matters
For a document on bussproofs for Gentzen-style proofs, two Fitch-style packages, and also mentioning Lemmon style proofs, see Proofs in LaTeX (Alex Kocurek 2019). Natural deduction and sequent proofs, Gentzen-style The standard package in recent years has been bussproofs.sty (Sam Buss: download the latest version, 1.1, June 2011). Note that there is a LaTeX for Logicians User Guide to bussproofs.s
依存性地獄を解決するディストリビューション非依存のパッケージマネージャ、Nix | OSDN Magazine
2008年12月26日10:48 Pjotr Prins、Jeeva Suresh、Eelco Dolstra Ubuntu、Debian、SUSE、Fedora、Red Hatなどの多様なLinuxに対応した新世代のパッケージマネージャとして開発された Nix には、ディストリビューションに依存しない簡潔な方式にてバイナリやソースパッケージを導入するための手法が組み込まれている。更にNixでは、既存のパッケージマネージャとの競合回避も配慮されているだけでなく、これら旧世代のパッケージマネージャでは行えなかった、バージョンの異なるソフトウェアどうしを共存させた上で、いったん施したアップグレードのロールバックをさせるという操作も可能にするのだ。こうしたNixは、異種環境を包含するシステム管理ツールとして優れている他、複数のライブラリ、コンパイラ、インタープリタを併用するソフトウェア開発者にと
Haskellのパッケージ管理について調べてみた - りんごがでている
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Nix & NixOS | Declarative builds and deployments
bff
