1. 7
  1.  

  2. 2

    For Isabelle

    This explains the ambitious capabilities, but makes it less applicable than the more widespread Haskell and Erlang versions.