This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences
  • eta@feddit.orgEnglish
    1·
    2 months ago

    It’s a very interesting approach that they do the type system in such a mathematical way.