evaluation
extracting value after lambda undergoes application through interpreter or normalizer
—defined Sat, 22 Mar 2025 02:07:53 GMT by chrisamaphone [history]