2013-01-26
		14:43 UTC Revision 1 . . . . BayleShanks – === static typing === the compiler proves a little theorem that the program doesn't contain certain kinds of mistakes unfortunately, every language . . .

History of notes-computer-programming-programmingLanguageDesign-languages