funcons-lambda-cbv-mp (hackage): Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions
Keywords: bsd3|language|program