Analysis of information sources in references of the Wikipedia article "Arvind Mithal" in Portuguese language version.
[it] is basically Haskell with some extra syntactic constructs for the term rewriting system (TRS) that describes what the hardware does. The type system has been extended with types of numeric kind.