Reed Mullanix on Nostr: nprofile1q…4rrqe Yeah, elaboration on the fly is such a misfeature IMO. This ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) Yeah, elaboration on the fly is such a misfeature IMO. This becomes really apparent when you have to do any sort of heavy unification: a problem with bunch of unsolved constraints takes *much* longer to finish than one that has a solution!