Djinn

Input

Advanced Mode

Type a type signature, e.g. f :: a -> a -> a.
You can also use a query parameter e.g. "?q=f::a->a->a" to create a URL that will
automatically query Djinn and display the result.
Type :help in Advanced Mode to see a list of commands.