Comment by mejutoco

Are you aware of languages like lean or idris? In that comment you mention doom in ts types.