Djinn

Input Submit 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.