G-Machine

用于实现 Graph Reduction 的虚拟机。