This project seems very interesting, yet unfortunately I can’t think of how it could ever be the best solution for a wiki. It’s said on the site that html and

This project seems very interesting, yet unfortunately I can’t think of how it could ever be the best solution for a wiki. It’s said on the site that html and coding are often too complex of an abstraction for a wiki because so many less technically oriented folks have use for editing them. This audience I would guess doesn’t want to hear lambda anything, I doubt they could ever fully understand the concepts. Not because they are dumb, but because they have other specialties and by definition are not investing time to learn the theory. It’s probably been a while for many people here since they first learned about lambda calculus, functional programming, or other concepts. But try to think back to when it first hit your brain. You may have started to do some things quickly but even for many in the field it only really sinks in over time and with some continued investment. I love how there are some undergrad theorems that someone with a middle school understanding of math can grok and learn to prove and derive the result themselves in a matter of hours. The simplicity can be so beautiful for what someone might have thought was scary. But that doesn’t apply here. This stuff would be scary to lots of people, it’s made my brain hurt before. Now after however many years I have the luxury of reading the paper, appreciating the elegant aspects, and even enjoying thinking off all the connections to other cool concepts. But even for me is this really the most efficient abstraction? So I like the design and theoretical aspects, nice work on all of it. I just have trouble seeing any mainstream use cases as described on the site that don’t have better potential solutions.