[B! package] kirakkingのブックマーク

kirakking id:kirakking

packageに関するkirakkingのブックマーク (5)

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
kirakking 2015/02/12
latex

inference

syntax

package

graph
リンク
Nix & NixOS | Declarative builds and deployments
Declarative builds and deployments. Nix is a tool that takes a unique approach to package management and system configuration. Learn how to make reproducible, declarative and reliable systems.
kirakking 2014/07/10
linux

distro

package

Nix
リンク
依存性地獄を解決するディストリビューション非依存のパッケージマネージャ、Nix | OSDN Magazine
2008年12月26日10:48 Pjotr Prins、Jeeva Suresh、Eelco Dolstra Ubuntu、Debian、SUSE、Fedora、Red Hatなどの多様なLinuxに対応した新世代のパッケージマネージャとして開発された Nix には、ディストリビューションに依存しない簡潔な方式にてバイナリやソースパッケージを導入するための手法が組み込まれている。更にNixでは、既存のパッケージマネージャとの競合回避も配慮されているだけでなく、これら旧世代のパッケージマネージャでは行えなかった、バージョンの異なるソフトウェアどうしを共存させた上で、いったん施したアップグレードのロールバックをさせるという操作も可能にするのだ。こうしたNixは、異種環境を包含するシステム管理ツールとして優れている他、複数のライブラリ、コンパイラ、インタープリタを併用するソフトウェア開発者にと
kirakking 2014/07/10
なんぞ。

linux

package

Nix
リンク
bff
kirakking 2014/05/05
bidirection transformation の Haskell 実装。一応メモ。

haskell

package

bidirection

研究
リンク
Haskellのパッケージ管理について調べてみた - りんごがでている
Haskellやって１年ちょっと経つわけですが、Haskellで使うpackageの管理についてよく知らなかったので色々調べてみました。対象としては最近Haskellを始めた方やpackage管理についてよく知らないという方向けです、 packageを利用する側からの説明なので、作るにはどうしたらいいかは書いてません(｀･ω･´)ゞそして、やたら長いのです。ちなみにghc-7.0.3で、OSはLinux Mintです。 packageって？ packageはHaskellのライブラリを構成する一つのまとまりで、packageはいくつかのmoduleをまとめています。 moduleはだいたい.hs拡張子のHaskellプログラム１ファイルと対応していて、module Foo.Bar whereとファイルの上の方に書いてあるFoo.Barがモジュール名です。 Haskell Platfo
kirakking 2014/04/04
haskell

cabal

package
リンク
1