1. 11
    You Could Have Invented Normalization-by-Evaluation plt ehatti.github.io
    via icefox avatar icefox |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 1
      zesterer avatar zesterer

      Huh. It turns out, I did invent NbE, but did not know the name for it. Fun stuff, and well-written.