Arnaud Bailly
Arnaud Bailly
Which IDE are you using? I personally use IDEA 12 so it would be easy for me to submit some formatting conventions + intention checks from IDEA.
As said I am planning to integrate barge in a system whose purpose is to be distributed across nodes to supervise another system. This system is made of instances of...
Regarding the refactoring itself: I have already implemented it so I will send a pull request and see if you can accept it.
This is a rather impressive change and given my low familiarity with the code base I would not some time to digest it. I could help with writing some tests...
Good to meet you too! Yes, I have skimmed through your test but it was not entirely clear to me what you were testing. Might missing some context. I will...
Well, on the contrary, given this is a new module, better nitpick when there are few lines of code! If there are things that looked suspicious or with which you...
Neither am I anymore (been using it couple of years ago...). Not sure what your second sentence means but if you are asking whether or not I have some strong...
Thanks a lot. Could you provide a more explicit log message please?
@zenntenn I saw on slack you have a fix for that? Could you give me some precisions on the environment needed on windows to compile Idris2? I have a Windows...
@arabelladonna I now have access to a windows machine, I will give it a try this week-end and see if I can fix that. Do you have the same error...