• Added support for Curry packages
  • Added version information to the indexer and server
  • Improved the logic for word completions
  • Fixed the ordering of types in the search result
  • Fixed the ordering of word completions
  • Removed the function context from type synonyms
  • Removed the special pretty printing for the String type synonym