Paul Bittner

Thank you very much for the fast response. I've read chapter 3 before 4 but with a few days inbetween. I see and agree that my claim was wrong. Yet,...

Hi Ranjit, thank you very much for the fast response. Indeed, the given error is part of the tutorial. It was mentioned as a motivation for liquid haskell. Though, the...

As part of PR #331, I implemented the Laws and instances for the `Num` typeclass. Sorry for spamming the issue feed on accident here with all my rebases. I will...

Ok, thank you very much for the fast reply! I will leave this set to `true` then. Interestingly, the `CACHING` is deactivated for the [SatSolver](https://github.com/ckaestne/TypeChef/blob/master/FeatureExprLib/src/main/scala/de/fosd/typechef/featureexpr/sat/SatSolver.scala#L18-L23) (for propositional formulas instead of...

Interesting and sounds reasonable. This is already a big help, thank you! We will leave things as is then for now.

Ok, I updated the changelog as well. :)

I also migrated some additional lemmas from `Data.List.Properties`.

Thank you for the review. :) I integrated the requested changes. I also got rid of the `rewrite` by introducing an analogous lemma to `Data.List.Properties` and then reusing that.

Hi everyone, I implemented the requested changes. Implementing the `length-++-≤ʳ` theorem required some additional lemmata, which unfortunately required another theorem (`++-identityʳ`) which was located below in that file. So I...

I am having the same issue on NixOS. I have the following fonts installed: ```nix fonts.packages = with pkgs; [ nerdfonts emacs-all-the-icons-fonts ]; ``` As well as the `(package! all-the-icons)`...