Title	Applicative-order reduction Proficiency Exercise
Catalog Type	SLCItem
Persistent ID	https://opendsa-server.cs.vt.edu/OpenDSA/AV/PL/applicativeOrderPRO.html
Platform Name	OpenDSA
Features	Algorithm Tracing Exercise
Language
Description	Algorithm Proficiency Exercise for determining applicative-order reduction in Lambda Calculus expressions.
Keywords	Lambda Calculus
URL
Author	David Furcy,Tom Naps
Institution	UW-Oshkosh
Iframe URL	https://opendsa-server.cs.vt.edu/OpenDSA/AV/PL/applicativeOrderPRO.html
LTI URL
LTI Instructions URL
Protocol	LTI 1.1, SPLICE
Protocol URL	https://opendsa-server.cs.vt.edu/lti/launch?custom_ex_short_name=applicativeOrderPRO&custom_ex_settings=%7B%7D https://opendsa-server.cs.vt.edu/OpenDSA/AV/PL/applicativeOrderPRO.html
License	https://github.com/OpenDSA/OpenDSA/blob/master/MIT-license.txt
Features	Algorithm Tracing Exercise
Programming Language	N/A
Natural Language	en