On Mon, Mar 19, 2012 at 9:13 AM, Jesper Louis Andersen > If you want to play with dependent types, there are two ways which > seem popular at the moment: Agda or Coq.
and some not popular ones... http://www.ats-lang.org/ http://sandycat.info/blog/deptypes-shen/ et. al. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
