{
    "expr": "\"\\u03BB-calculus rocks\"",
    "dataset": "dataset0",
    "bindings": {},
    "result": "λ-calculus rocks"
}