home.social

#normalorder — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Normal-order syntax-rules and proving the fix-point of call/cc

    okmij.org/ftp/Scheme/callcc-ca

    #HackerNews #NormalOrder #SyntaxRules #CallCC #Scheme #Programming #Proving

    #hackernews #normalorder #syntaxrules #callcc #scheme #programming
  2. amen zwa, esq. @[email protected] ·

    I do want to talk about #NormalOrder evaluation in #programming languages, but I'm just too #lazy.

    #lazy #programming #normalorder