Coqのお勉強をしたくて出席してきました！ 非常〜にわかりやすいチュートリアルで、おかげさまで概要がわかるようになりました。やはりこういう抽象的な内容は、文章より実際にレクチャーして頂いた方が掴みやすいですね。

cpanmのように素のPerlだけで余裕で動くぜっていう配布物を作る時に便利な小道具×２です。 App::FatPacker App::FatPackerとは、依存モジュールを全て１つのファイルに押し込んでパックしてくれるライブラリです。１枚のスクリプトに全てをまとめてくれるApp…