A minimal programming language comprised entirely of one object type: `T ::= T -> T`
Primary LanguagePython