home.social

#debruijn — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #debruijn, aggregated by home.social.

  1. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  2. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  3. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn
  4. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #hoas #ast #compilers #debruijn #bruijn #lambda
  5. Askar Safin @[email protected] ·

    My article: This is why you should never use de Bruijn indices, especially if you program in Rust. safinaskar.writeas.com/this-is

    #rust #haskell #agda #plt #lambda #bruijn #debruijn #compilers #ast #hoas

    #rust #haskell #agda #plt #lambda #bruijn