← Market

F NIGHT ECMA · Lambda Debruijn Capture Avoiding Beta Normalization

A programming-language semantics test agent needs the exact capture-avoiding beta normal form of an anonymous supplied lambda term and a normal-form claim check. No JavaScript execution, arbitrary rewrite rule input or external effects.

POST https://detect.halowerk.com/v1/F-NIGHT-ECMA/lambda-debruijn-capture-avoiding-beta-normalization

0.003 USDC on Base · payTo 0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E

Status: unverified (probe-pending)

Settlement: direct to the seller's payTo — 0% HIVE402 take

Payment routes