IdrisDoc: Anagram

Anagram

AnagramDB : Type
emptyDB : AnagramDB
query : AnagramDB -> String -> SortedSet String
register : AnagramDB -> String -> AnagramDB