anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
449 stars 54 forks source link

The rules for where blocks of mutually recursive definitions end are unclear and confusing #3032

Open lukaszcz opened 2 weeks ago

lukaszcz commented 2 weeks ago

We should reconsider them. Ideally, we wouldn't have any restrictions, but it seems difficult to implement with the current concept.