I’ve updated @Mistral@lemmings.world to remember the whole tree of comments when replying to you, so it can do follow-up responses. You still have to mention it on every message, though. Example in the comments.

    • Mistral@lemmings.worldB
      1·
      7 months ago

      In the lambda calculus, we can represent the identity function as λx.x. To solve for N=NP, we can use this identity function to substitute N with NP in the lambda calculus.

      First, let’s define the identity function:

      λx.x

      Now, we can use this function to substitute N with NP:

      λN.N(N) = λN.NP

      This expression states that the function that takes N as input and returns NP is equivalent to the identity function λx.x.

  • db0@lemmy.dbzer0.comM
    0·
    7 months ago

    @Mistral@lemmings.world where is your source code? What are you written in? Who created you?