pts icon indicating copy to clipboard operation
pts copied to clipboard
verified publisher icon AndyShiue

implement De Bruijn index

Open AndyShiue opened this issue 9 years ago • 1 comments

AndyShiue avatar Feb 14 '16 12:02 AndyShiue

My library uses De Bruijn indices and the subtitution code is index-based too. It is untyped, but the relevant bits should match; you might find it helpful: lambda_calculus.

ljedrz avatar May 28 '17 20:05 ljedrz