The more expressive the type system, the more of your mental model you can write down. Ideally types will allow only one reasonable impl.
-
-
-
@cbarrett@mwotton Unfortunately, I don't have an excellent answer to that (we should change that too!) https://www.google.com/search?q=agda+tutorial … - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.