Kauê Hunnicutt Bazilli
Kauê Hunnicutt Bazilli
Ok, I played with this for a bit and everything seems to be working fine (apart from the things I pointed at in my previous comments). Even `library(clpz)` seems to...
> I can see now why the WASM is structured the way it is for the scryer playground, but we could/should extend the WASM code (probably separate ticket) to support...
> By the way, what is a "residual goal"? When using constaint libraries in Scryer that are implemented using attributed variables, like `library(dif)` or `library(clpz)`, if the constraints are not...
> [...] JSON is very convenient and I think not offering a JSON option would be a detriment to adoption [...] Yes, but when doing a C API for embedding...
> We can use copy_term/3 from library(iso_ext) to obtain a list of constraints a variable is involved in. Yes, the fact that `copy_term/3` exists is why I said that it's...
> The error is a goal! ⚡ Neat isn't it? But its even better. Have you noticed that in the toplevel the answers are separated by `;`? Turns out that...
Answered in #2497 because I don't want to flood this issue too much.
> is anyone waiting on me to do something? No, in fact the shared library would be the end consumer of all this (together with the Wasm interface). It may...
With `0.10` released, serialization kinda out of scope, and enough documentation to be actually understandable (though it certainly needs some love), I think it's ok to close this.
Yes, thanks!