@lthms care to share your experience?
First one was Liquid Haskell complaining about non terminating recursion, for “trivial” structural recursion (e.g. for a Tree datatype).
Second one was a strange bug with smtlib2. To be honest, I used the liquid haskell master so this might be a reason, I probably should have used a tag version.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!