* [Caml-list] Dependent OCaml @ 2003-07-26 19:17 Lukasz Stafiniak 2003-07-26 20:26 ` Lukasz Stafiniak 2003-07-27 6:26 ` Lukasz Stafiniak 0 siblings, 2 replies; 3+ messages in thread From: Lukasz Stafiniak @ 2003-07-26 19:17 UTC (permalink / raw) To: caml-list Hi List, Is there / Will there ever be Denendent OCaml? I know there is Coq, but... Actually, I would like to have Dependent Meta OCaml. (After spending some more time on my problem, if I still don't solve it, I will report why I need Dependent Meta OCaml.) Kindest Regards, Lukasz Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów wielostanowiskowych dokładamy PenDrive Sprawdź: http://www.mks.com.pl/promocja-mobile.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Dependent OCaml 2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak @ 2003-07-26 20:26 ` Lukasz Stafiniak 2003-07-27 6:26 ` Lukasz Stafiniak 1 sibling, 0 replies; 3+ messages in thread From: Lukasz Stafiniak @ 2003-07-26 20:26 UTC (permalink / raw) To: caml-list Ugrrhhh... Never mind. I dont need type constraints. I need more polymorphism: type arguments. Best wishes. Lukasz Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów wielostanowiskowych dokładamy PenDrive Sprawdź: http://www.mks.com.pl/promocja-mobile.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Dependent OCaml 2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak 2003-07-26 20:26 ` Lukasz Stafiniak @ 2003-07-27 6:26 ` Lukasz Stafiniak 1 sibling, 0 replies; 3+ messages in thread From: Lukasz Stafiniak @ 2003-07-27 6:26 UTC (permalink / raw) To: caml-list Sorry List, I've done it. I've reflected types in terms in OCaml. It shows that I need to learn a lot before I can reasonably speak about type theory. Yours sincerely, Lukasz Uwaga! Do końca sierpnia przedłużyliśmy promocje, do pakietów wielostanowiskowych dokładamy PenDrive Sprawdź: http://www.mks.com.pl/promocja-mobile.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2003-07-27 6:24 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2003-07-26 19:17 [Caml-list] Dependent OCaml Lukasz Stafiniak 2003-07-26 20:26 ` Lukasz Stafiniak 2003-07-27 6:26 ` Lukasz Stafiniak
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox