Андреев Кирилл

+1

I was using `xpra`-one, thinking I'm using your one. [:1.log](https://github.com/kaueraal/run_scaled/files/6189498/1.log) I tried your one: [:57158215.log](https://github.com/kaueraal/run_scaled/files/6189507/57158215.log) Sadly, it did not run anything as well. I tried with `gedit` for no luck:...

Its may be worth to do operator precedence like in Agda: you can only declare fixity and the fact that the operator in question binds tighter that some other (and...

STG -> HVM might not be feasible, because, well, multiple reasons. The main problem is that GHC doesn't care about `Dup`-explosion prevention, well, until Linear Haskell is a thing -...

Thank you for an explanation! Will wait for formalisation. So, when duplicating a function, HVM performs a substitution over the function body twice, and then puts function parts into superpositions?

Well, this should be checked somehow. Which rules do you think are necessary to add to typechecker to catch it? Should the `(f f)` application simply emit linearity for the...

A-ha, so a function that directly self-apply an argument can't be used twice? In this case, self-applying stuff like `(f f)` is a type error in most type systems to...

I've set `grave` to Base Glyph locally. These artifacts remain: 

No, it does not appear anymore, you can close. The game runs and looks nice :)

After you request 64 null chips next time it will use these overproduced dependencies, though. However, producing _that much_ nuggets can overflow the storage and in case you request some...