> if a language is decidable it can't be Turing complete mentioned in a differen...

		elnygren on May 23, 2017 \| parent \| context \| favorite \| on: Viper: a new programming language from Ethereum > if a language is decidable it can't be Turing complete mentioned in a different comment in this thread!