"This can be formatted bette..."

https://arbital.com/p/46p

by Alexei Andreev Jun 11 2016


DIAGONAL\(n\): if\(HALT\(n,n\)\)return 1 if M\_n==0 else 0 else return 0

This can be formatted better. Also I think there is a typo with else 0?