jjl
jjl
I haven't seen too much prior art in the persistent sphere, but finger trees seem to be the way they go for it in haskell. Loving your work here so...
Please do not merge, I haven't actually written the tests for this yet, merely verified the existing ones do not break. Aside from this, is this generally acceptable? Is it...
Hi. Thanks for writing Ivar, it's helping us manage a smooth migration away from a legacy codebase. One feature we're missing is multipart body support. It looks like Ivar doesn't...
Since there is sodium-typescript and since you can autogenerate kotlin bindings from typescript, this shouldn't actually be that hard.
This enables building against musl libc, such as used by alpine linux.
- [x ] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x ] I have checked that there is no existing PR/issue about my proposal. ## Summary Parameters blocks could be much more...