An implementation of a like-Lambda Calculus