bigs
bigs
doesn't look like my comment posted but as of last friday this is ready for final review. only thing left after review is go.mod directive replacement and publish. @raulk @Stebalien...
I imagine something like this could be written as a wrapper around Mesen--a helper tool?
@lanzafame and i have recently chatted about this, making it a bit more p2p friendly by heading in the direction of CRDTs. such a project would also be a good...
> Although there will definitely be gaps in available Idris libraries (no git bindings, etc.), these can be papered over, and I think the end result will be worth it....
@dcao Great, I'll give that a go :)
Just an update, getting a start on libgit2 bindings this weekend 😄
I've only had nights and weekends time here and there but, after some iteration and a lot of help, I've got a general set of patterns down that I think...
Remote fetching is done now (forgot that.) Submodules will probably go down tomorrow but, at this point, I'd say it's pretty much ready for use. Edit: Sorry that I've hi-jacked...
ping @Kubuxu @raulk
i think if we keep the interface and just expose the strict as well, it should solve our problem