nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxtscya34g58tk0z605fvr788k263gsu6cy9x0mhnm87echrgufzs9d84s8 Aye, that works, it just feels like there'd be a built-in for this.
its folds all the way down
Please Login to reply.
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqxtscya34g58tk0z605fvr788k263gsu6cy9x0mhnm87echrgufzs9d84s8 Interestingly, the language server gave me a specific warning for this
foldl’ seems simpler to me but whatever
