Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Dependent OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lukasz Stafiniak <l_stafiniak@h...>
Subject: Re: [Caml-list] Dependent OCaml
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