I honestly can't believe I'm having the chance to contribute with this right from the start
Unit tests are theorems too! When you compute `Test(x)` and check it's `true` you have proven the theorem `Test(x) == true`. However that's only about a specific choice of `x`. Theorems allow you to use math to test all…
Thanks for pointing that out! It's now fixed.
That's a great idea. Kind for example compiles to a small core language called FormCore which can be typechecked with 700 lines of javascript. In theory other languages could compile to FormCore and have good…
I honestly can't believe I'm having the chance to contribute with this right from the start
Unit tests are theorems too! When you compute `Test(x)` and check it's `true` you have proven the theorem `Test(x) == true`. However that's only about a specific choice of `x`. Theorems allow you to use math to test all…
Thanks for pointing that out! It's now fixed.
That's a great idea. Kind for example compiles to a small core language called FormCore which can be typechecked with 700 lines of javascript. In theory other languages could compile to FormCore and have good…