That's weird, because I just checked their home page and found this list of features: pattern matching, lambda calculus consistency, ma

That's weird, because I just checked their home page and found this list of features: pattern matching, lambda calculus consistency, macros for defining domain specific languages, optional lazy evaluation, static type checking based on sequent calculus, one of the most powerful systems for typing in functional programming, an integrated fully functional Prolog, an inbuilt compiler-compiler, has a BSD kernel that runs under a host of different languages (Lisp, Python, Javascript, C ...) and operating systems (Windows, Linux, OS/X), is extensively documented in a book If those don't interest you, there's probably not a reason for you to spend time learning it. I'm not sure what other info you're expecting to find.