This is an interesting topic and glad to see someone experimenting. I spent some time on code typography a few years ago and wish I could have spent more time o

This is an interesting topic and glad to see someone experimenting. I spent some time on code typography a few years ago and wish I could have spent more time on it. I like a lot of these ideas and hope we will see both structured editing and structure-informed reading be more popular. That said: this project could benefit from working with an actual typographer. Even people who agree with the principles of these ideas will likely revolt at the examples shown and think it's because the ideas are bad. There is tons of purely optical tuning that could be done to make the snippets look better. The leading needs to be increased if the horizontal spaces are going to be so wide. The parenthesis should be centered around lowercase letters, kerned more loosely, and made thinner at the curves. Many of the operators and special characters could also benefit from a programming-specific take. Typographic detail might also suggest other opportunities: for example, spaces between items in a list might be made wider than those of sub expressions within each item. In my work I started by laying out the results I wanted in TeX, giving tons of power over small typographical details, and it paid off. Even though some of the ideas were duds, the presentation was aesthetically pleasing enoug that many people were willing to try it.