home.social

#λcalculus — Public Fediverse posts

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

fetched live
  1. Hacker News @[email protected] ·

    Interactive λ-Reduction

    deltanets.org/

    #HackerNews #Interactive #λ-Reduction #λCalculus #FunctionalProgramming #DeltaNets

    #hackernews #interactive #λ #λcalculus #functionalprogramming #deltanets
  2. Hacker News @[email protected] ·

    Interactive λ-Reduction

    deltanets.org/

    #HackerNews #Interactive #λ-Reduction #λCalculus #FunctionalProgramming #DeltaNets

    #hackernews #interactive #λ #λcalculus #functionalprogramming #deltanets