Alessandro Cheli

icon indicating a website link https://cheli.dev

icon company @PlantingSpace icon location Italy icon location Hacking Diagrams @xyflow. Previously R&D Engineer @PlantingSpace. I focus on category theory, programming language theory, symbolics

Results 209 comments of Alessandro Cheli

TermInterface Version 2

@bowenszhu added tests covering new maketerm symtype propagation in latest commit

Go headless and use shadcn for internal UI Components

It makes sense. What I haven't understood yet, considering I have multiple editors on a page, is how cells and signals in gurx, actually refer to the current editor, if...

Go headless and use shadcn for internal UI Components

Does `rootEditor$` cell always hold an instance to the active (selected) editor?

Go headless and use shadcn for internal UI Components

Interesting approach! Thanks Regarding the main topic of the issue > that's the reason why the toolbar itself is packaged as a plugin Shadcn could actually be useful in plugin...

Patch release

Any news on this?

ale/3.0 terminterface vecexpr

There might be a case of runtime dispatch left somewhere. Needs JET investigation

Add `group` classname to node wrapper

cc @moklick

Fix `split_function_nothrow` failing on poorly defined functions

`is_function` returns false now

Rewrite rules cannot introduce variables (I think)

> MT should probably check the RHS of rules and produce a more helpful error message. Good idea. It was checking this before