Boscop

> I was wondering more in terms of how rust-monaco is implemented and how to interact with it :D Ah, I don't know.. Btw, people are saying that Monaco editor...

```hs def Two = dup #s a b = s; λsλz(a (b z)) // Doesn't work def Pow2a = (Two Two) // Works, with different dup labels def Pow2b =...

I think the fix for would be to generate fresh labels when inserting a DEF's body into a term. (And in my repo with REF nodes, when substituting a REF...

Any update on this? @siku2 Is this project still maintained? :)

I just spend 2 days trying to figure out why my application thinks I dropped the file at a different location than where my mouse pointer is when I drop...

@FabianLars I'm using EurKey. I don't think it's rare, it's even included in Linux, but I'm using it on Windows :) Why would that be a problem / cause this...

@weihanglo > Would you mind sharing why output final JSON files to stdout is important to your workflow, so that we can understand the use case and brainstorm possible solutions?...

@wsxiaoys Sure :) My use case is: I want to be use Tabby via the API to generate code not just based on instructions but also attached images such as...

@gaocegege Btw, are you still operating modelz.ai? :) (When I try to sign up for the hosted LLM, I get timeout.) If not, do you know a comparable service (private...

I mean like this: On Rust items: https://rustwasm.github.io/wasm-bindgen/reference/attributes/on-rust-exports/constructor.html On JS items: https://rustwasm.github.io/wasm-bindgen/reference/attributes/on-js-imports/constructor.html This would make interop much easier :) --- Btw, I have another question: Is this crate the least-opinionated-possible...