4 ms·

This is a nice explanation, but why is it written on stack exchange and not (also?) https://lexi-lambda.github.io/ https://lexi-lambda.github.io/?

• IshKebab 3y ago
  I guess because StackExchange has higher Google ranking and allows comments, easy edits, supports latex etc. It's a great platform for stuff like this.
  • DylanSp 3y ago
    Also, the langdev SE is still in beta, and pretty early beta at that; posting useful material there helps get it off the ground. That said, I wouldn't be surprised if Alexis also posts it to her blog at some point.
• the_af 3y ago
  The person who wrote this [1] seems to be a Haskell (GHC) contributor and someone hailing from lexi-lambda. ---- [1] https://langdev.stackexchange.com/users/861/alexis-king https://langdev.stackexchange.com/users/861/alexis-king
  • bloppe 3y ago
    I, too, hail from myself.
    • the_af 3y ago
      Oops. For some reason I confused lexi-lambda (which I didn't know) with lambda-the-ultimate (http://lambda-the-ultimate.org http://lambda-the-ultimate.org).