steshaw

3 ms·

1. 1.▲
   by steshaw 7y ago

   Well done! I am inspired. Dependent types are the future, and so are you :-).
2. 2.▲
   by steshaw 7y ago

   You might also enjoy https://functionalprogramming.slack.com/
3. 3.▲
   by steshaw 12y ago

   Are 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?