Dmitrii Kosarev
Dmitrii Kosarev
> Thank you for the report, have you seen skip local option? Please let me know if you can solve your issue with the option https://github.com/kucherenko/jscpd/tree/master/packages/jscpd#skip-local I have seen this...
I have the same message and same issue on code without addmitting anything. In the demo bleow it happens on the last 'reflexivity'. ``` Definition func_is_commutative {A B: Type} (f:...
First fo all it is weird that github doesn't email updates about the comments. When we deal with official release of OCaml we can see that it supports (on UNIX)...
Well, it seems that your comment is applicable to every OCaml project. Out of curiosity: do you have some thoughts about using Qt/QML and Reason together?
I have never touched the Erlang, I can't tell you anything about or compare with Elixir stuff. > So, the documentation for React with QML does currently simply not exist?...
I have updated the newest tutorial. Is it better now?
The code is on gh-pages branch
I'm not sure yet. This week is over busy. The guy came from England and giving lectures about some crazy math(denotational semantics). On Wed, Feb 1, 2017 at 12:09 AM,...
Writing the status down in case I will not return back to this task. I did some hacking in the branch `declareMetaType`. Good thing is that I simplified code generation...
Yeah, the same as before.