steshaw·7 ปีที่แล้ว·discussWell done! I am inspired. Dependent types are the future, and so are you :-).
steshaw·12 ปีที่แล้ว·discussAre you just using OCaml as an altjs then? And/or on the backend?Any reason to try OCaml for Android development? Looked at Ocaml-Java?