Has the same annoying issues as REBOL. Special characters are allowed in words.

  a+b

  a + b

Dealbreaker. a+b*c + a+b * c / a+b/d + a+b / d % a + b So easy to miss or add a space while typing. Reading afterward, its difficult to tell if there's even spaces in some areas.

I actually think languages should rather enforce spaces around (most) operators for a number of reasons. One is clarity, another one is that it should make the grammar simpler. Whether `alice+bob` is a good name for a variable is certainly up for debate but using hyphens for compound names (as in CSS) is in principle even better for readability than using underscores (and def better than cAmElCaSe). I find this a similar issue to the (to me, mal-) practice of allowing `.86` for what should properly be written `0.86`; this, too, introduces complexity with very little gain, if any, in usability.

Dealbreaker for you. I'd hate for you to see Agda..