GitHub repository: maxhallinan/redexer
Primary language: PureScript
Description: Step through the reduction of an untyped lambda calculus term.