Lambda MicroEgg、スコープ付きバインダーを扱えるegraphを実現

Philip Zucker氏が、スコープを考慮したalpha同値なバインダーをサポートするegraph「Lambda MicroEgg」を公開した。Max Willsey氏のmicroeggをベースに、組み込みバインダー、高階Millerパターン、右辺でのキャプチャ回避置換を追加。S式フロントエンドで記述でき、WASMデモも用意されている。liftingsをu32 Idの1バイトに格納することでオーバーヘッドを抑え、alpha同値な項のハッシュコンズや、thinning関連のメモリ共有も実現している。