integrated-development-environment

The quickstart is amazing and I want to learn more language features. doc/Language.md gives a good high-level overview of what's possible, but I found it difficult to put into practice.

I'd love to see more guides like the quickstart (description of individual keystrokes) or hosted .lamdu files.

I won't have time to implement this, but it should be easy and it should provide a nice quality of life improvement.

Each goal buffer stars with a header line, like this:

1 focused subgoal
(shelved: 1) (ID 339)
  
  width : Z
  BW : Bitwidth width
  …

It would be nice to move that info to the modeline, next to the buffer name (*goals*). We can change the "lighter" of the

There is room for some improvement of JavaDoc.