lorenzo pirro

Results 15 comments of lorenzo pirro

> FYI, here's what I mean when I say that we can represent the conjunctions and disjunctions without introducing a new abstraction: [bc65aac](https://github.com/hylo-lang/hylo/commit/bc65aac5fb181e16bade3825fbd7c92eda81c150) Ok, so you've just embedded it inside...

> @Metalymph this looks like valuable work. Do you think we can move this PR forward and get it merged soon so the value isn't lost? Hi @dabrahams and thanks...

> I don't remember exactly but I think I opened a branch to illustrate the changes I envisioned and that's what's been linked. If @Metalymph can confirm I think we...

Just open a pull request for this #1410

About the `&` mark, I think it's a chosen style, indeed in the Stdlib every infix operator is defined in that way. However changing it is easy in the Emitter....