Vilem Liepelt

Results 17 comments of 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. 👎

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...