Super interesting approach to type checking in you can request an explanation for any errors that will print a short related reference and full reasoning for the error 😯

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!