Vilem Liepelt
Vilem Liepelt
Yes, this is an absolute must-have! At the moment I'm having to declare the properties in the source file and then reference them in the comment. 👎
I'm running into the same issue :(
Chances are that I misunderstood something and that this is exactly the expected behaviour.
> If you do want to have this rule, you should replace the LHS with suc (m + suc n) Changing the LHS of the rule to `suc(m + suc...
PS: For now `ln -s /opt/homebrew/Cellar/zstd/1.5.5 /opt/homebrew/Cellar/zstd/1.5.2` allowed me to complete the installation (not sure if this breaks anything though).
Thank you @pellagic-puffbomb —this saved my day. 👍
Thank you for this detailed reply! I think the context of the talk would be quite helpful, I presume I will have to pester Derek? If not, I will try...