1 2 3 4 5 6
{ "expr": "\"\\u03BB-calculus rocks\"", "dataset": "dataset0", "bindings": {}, "result": "λ-calculus rocks" }