Eduardo Sandalo Porto

Tested on MacOS, all examples in `examples` get the same results but it seems slightly slower, could be statistically insignificant since I only ran each test once  We're still...

@developedby suggested changes resolved

Hi! I couldn't reproduce the behavior from your bug report, could you give us some more information about which versions of `hvm` and `bend` you're using? ``` bend --version hvm...

> For Fun syntax, we can have separate function type declaration like in haskell for example. Kind2 used to have function type declarations within their definitions, so something like this:...

> * `None`, for `*` (erasure) Wouldn't it be more like a Unit type? I'm not too sure about the equivalencies between interaction nets and linear logic, but since erasures...

Looking into this again, I found that this performance degradation started exactly in the commit 3073285 (**Call desugar_use before linearize matches**), changing `desugar_use` to be done before `linearize_matches`, `check_unbound_vars`, and...

Thank you @janahofmann, doing that worked! I'll leave this issue open for now since it might still be useful to fix this issue for older installers, as the latest released...

This doesn't seem to be an HVM specific issue. I've looked up the error you got and found [this discussion](https://users.rust-lang.org/t/error-failed-to-run-custom-build-command-for-libc-v0-2-150/103006/7); it seems like your computer is not allowing `build-script-build` to...

The issue seems a bit deeper than that. Both when setting that stack to size 4096 and 256, running the program will sometimes return a valid result and sometimes an...

I've tried a few other examples of the same pattern that don't result in the same bug and, as expected, they always have a difference of 1 interaction between the...