fetburner.core

コアダンプ

2013-09-07から1日間の記事一覧

FreeBSDにAjhcをインストールするときに躓いたこと

Haskellで書かれたプログラムをマイコンで動かすことができると某界隈に衝撃を与えたAjhcですが、FreeBSD機にインストールする時に躓いた事が有りましたのでまとめておきたいと思います。

EvalML1Errにおける評価の全域性の証明

前回はプログラミング言語の基礎概念に出てくるEvalML1についての定理を証明したので、ついでに実行時エラーも扱うEvalML1Errにおける評価の一意性を証明したいと思います。