Register | Login

	luissoeiro	Dec 26, 2015
	Funny thing about #go #lang is that I was bashing some early bad decisions and some guy was answering. He was R. Pike, Go's (1/2)
	luissoeiro	Sep 30, 2015
	Are there #idris #lang coders out there? i have a question.