3 ms·
"false" is a literal type in TypeScript, Coq, Agda, Idris, Scala.
by mikojan 4y ago
"false" is a literal type in TypeScript, Coq, Agda, Idris, Scala.
- zozbot234 4y agoFalse in Coq/Agda/Idris is a zero type, not a unit type. True is a unit type. Now PHP is making the opposite choice. Confused enough?