x/lambdapi/src/lambda/eval.ts
import * as lambdapi from "https://deno.land/x/lambdapi@v1.0.1/src/lambda/eval.ts";