1/28/2020
Example of Lambda Verbose Parse Widget in use
Example of Lambda One-step Redex Widget in use
Example of Normal Order and Applicative Order Reductions in Parallel Widget in use
Example of Normal Order Reductions in Simply Typed Lambda Calculus Widget in use
Example of Simply Typed Lambda Calculus Constraints for Type Inference Widget in use