2 ms·
> Asserts ... the condition is supposed to be impossible to be false, just not provable by the type system Very nicely said!
by rramadass 2mo ago
> Asserts ... the condition is supposed to be impossible to be false, just not provable by the type system
Very nicely said!