Zack Weinberghas someone written the book "modern type theory for garbage imperative programmers, featuring absolutely no currying whatsoever and a reasonable number of parentheses" or am I going to have to write it myself send toot
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.