mbuliga

>What do you mean by "label" in the case of formality ? See about the CON node and rewrites here: https://docs.formality-lang.org/en/latest/theory/Formality-Net.html#rewrite-rules See also https://github.com/MaiaVictor/optlam

>In Formality, they represent the "kind" of the node (like "application"), so they do not label fans. This is false. Where do you read this? Surely not from the given...

>> (\a.aa)(\x.((\b.bb)(\y.yx))), what gives under your algorithm? >That's interesting, I think this is a counter example! The steps 9-12 give me `(d->d d) (d->d d)`, but then step 13 is...

Hi, these are slides for a talk I gave recently, which explain why this subject is interesting for me. https://mbuliga.github.io/emergent-10-years/presentation.html Best regards, Marius ----- Original Message ----- From: HerrmannM To:...

Hi, I made a landing page for all chemlambda projects here https://chemlambda.github.io/index.html