Works

• 

  Hasche

  Haskell製のSchemeインタプリタ

• 

  lazy.js

  JavaScriptで実装された遅延評価機構

• 

  LkProver

  LKシーケントから導出木のLaTeXスニペットを自動生成するツール