Come on Lamdu Gitter, the Lamdu team also wanted to set up a community site for non-plaintext programming.