Visualizer
Reserved for the reduction visualizer: step through real programs as trees and interaction nets, watch sharing happen, and profile where the work goes. Not built yet. For now, enjoy the five rules on loop.
Reserved for the reduction visualizer: step through real programs as trees and interaction nets, watch sharing happen, and profile where the work goes. Not built yet. For now, enjoy the five rules on loop.