This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Until set theoretic types arrive Dialyzer remains a useful tool for catching type errors, but can be tricky to debug.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.