Revised simply typed lambda interpreter.
Revised simply typed lambda interpreter.

armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol,armoredsoftware/protocol