On Tuesday, 9 May 2017 at 20:35:18 UTC, jmh530 wrote:
On Tuesday, 9 May 2017 at 17:35:18 UTC, 9il wrote:

Ah, I see the issue. I may just focus on generalizing the time dimension to coordinates for now.


I have fixed small parts. I have invited you to the Mir Github team. Would be awesome to see your documentation PRs) You can always ask me about implementation details in the Gitter


Reply via email to