Follow

Super interesting approach to type checking in dhall-lang.org: 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
Mastodon

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!