Γ ⊢ ballyhoo : Idea → Feedback

Ideas in progress, written up to find out which ones are worth building. Posts link to experiments you can try.