thx. You can actually also see their tiny (OCaml) code from the same website.