Paul Bittner

Possibly Sparse Description on `Set` and Predicates

2

Dear Agda-Team, First of all, thanks for this awesome book and language! The book is a pleasure to read and doing the exercise within the book itself works like a...

Liquid Type Mismatch on Initial Build

2

**OS**: WSL2 (Ubuntu) on Windows 10 **Commit I cloned this repository at**: 8bf919a9d81f34ea7675dbe112086151d14d57c7 **z3 version**: 4.8.7-4build1 Hi LiquidHaskell team, I wanted to start the tutorial so I cloned this repository...

Caching for BDDs Enabled Although Documented as Erroneous

4

Hi @ckaestne and TypeChef devs, on the master branch, in the [SATBDDSolver][1] the `CACHING` is activated although there is a comment indicating that this may yield incorrect results: https://github.com/ckaestne/TypeChef/blob/fb4d7add1e54ba31d3dd41900b09c34ed6f528de/FeatureExprLib/src/main/scala/de/fosd/typechef/featureexpr/bdd/SatBDDSolver.scala#L78-L83 So...

This commit adds a hint to the README for doom emacs users. Customizing the flavor of cattpuccin in doom emacs as suggested in the README: ```lisp (load-theme 'catppuccin t t)...

In the Agda standard library, the syntax of `≡˘⟨_⟩` was changed to `≡⟨_⟨`. Maybe it should be changed here as well but I am not sure: https://github.com/agda/agda2hs/blob/fdbebb664feb229514ba5cc0a5f817f80e790219/lib/Haskell/Law/Equality.agda#L59