Stay ahead of the curve with our daily dose of technology updates, aggregated from multiple sources and indexed directly from our specialized news repository.
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated.I recently revived and cleaned up the project a…