I thought the same thing, but they have a page that explains it pretty well — TypeScript v. Hegel Turns out Hegel makes it a goal to be provably correct in res

I thought the same thing, but they have a page that explains it pretty well — TypeScript v. Hegel Turns out Hegel makes it a goal to be provably correct in respect to types, whereas TypeScript makes tradeoffs for productivity.