It's impressive how good it is. But there is still room for improvement. Searching "Haskell" leads to Clojure and C++. Yes, these are both Programming Language

It's impressive how good it is. But there is still room for improvement. Searching "Haskell" leads to Clojure and C++. Yes, these are both Programming Languages, but out of all I personally wouldn't have said C++. :) "Scheme" leads to Haskell, witch is very fitting, and Prolog, witch seems to fit as a "university language" aswell. For "Agda" it outputs "typeclasses" at 74%. This is a much discussed topic. But for a "truly" semantic understand It should know that both "Agda" and "Haskell" are in the same category and that "typeclasses" is a property that elments in this category have or don't have. Still, very impressive. But not the singularity jet.