Raoul Duke <rao...@gmail.com> writes:
> 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.
Neigther of which are examples for GADT in ocaml.
MfG
Goswin
--
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
