4 ms·
No mainstream type system can do that so GP would be fine with a unit test here. You could use Coq, Isabelle, or Lean. Their type systems are powerful enough t
by qznc 7y ago
No mainstream type system can do that so GP would be fine with a unit test here.
You could use Coq, Isabelle, or Lean. Their type systems are powerful enough to allow such checks.