Eyal Lotem

@ysangkok It's functionally complete, but its integration into Lamdu was postponed repeatedly for lower hanging fruits till now. Currently I estimate we'll be able to integrate it within ~3-4 months...

Structural types are mostly usable. Nominal types are still missing, so our approximation of RankNTypes is not usable directly, and recursive types cannot be declared. Nominal type editing is one...

> Nominal type editing is one of the next steps, perhaps after integrating AlgoWMutable First, I'll update that we eventually decided to go a different route than AlgoWMutable, and use...

The ellipsis here are due to the laziness of the list's continuation not being computed by default (hidden behind a lambda) rather than the record itself. Once converted to an...

> > Showing all the elements can be a bit huge, perhaps we need to allow internal scroll inside such table views? > > Yes. I think this is a...