rigille

4 ms·

1. 1.▲
   by rigille 5y ago

   I honestly can't believe I'm having the chance to contribute with this right from the start
2. 2.▲
   by rigille 5y ago

   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 choices of
3. 3.▲
   by rigille 5y ago

   Thanks for pointing that out! It's now fixed.
4. 4.▲
   by rigille 5y ago

   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 interoperability with Kind