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
Thanks, Ilya
