Alejandro Serrano

@DanielChesters I have to admit I've never used Maven. Is there a simple example project I could use to test? Or a simple way to create a Maven project with...

@paranoidmonoid could you try with an updated version of the Kotlin compiler? Unfortunately we get the entries directly from the compiler AST, so I see little we can do ourselves...

@kfriedberger maybe you can help with adding the additional dependency to the repo? It would also be great if Princess could be updated to the `2021-11-15` version. Thanks! 🙇

Hi again! do you happen to have an estimate about when Ostrich will be available as a dependency for `java-smt`? No pressure, I'm just trying to plan ahead when I...

@pruemmer could you help me in figuring out why some of the tests are failing? I got from [this file](https://github.com/uuverifiers/ostrich/blob/master/src/main/scala/ostrich/OstrichStringTheory.scala#L267) that not all functions on strings are supported, so I've...

Looking at the documentation for `http2-client-grpc`, which is the underliying gRPC implementation we are using, you can pass [TLS client parameters](http://hackage.haskell.org/package/http2-client-grpc-0.8.0.0/docs/Network-GRPC-Client-Helpers.html#t:GrpcClientConfig). Note that Haddock has screwed up and points to...

You are right, our first iteration just ignored them. The reason is that it's not easy to track where in the filesystem or in the web you can find each...

`mu-haskell` in this case is just a thin layer over https://github.com/haskell-grpc-native/http2-grpc-haskell. Maybe we should try to write a benchmarking suite against that at first step?

Feel free to try and send a PR. This will also help us enormously to see if somebody else outside of the maintainer group can work with the given API...

To me `Nothing` seems like the right type, to make them more like [exceptions](https://kotlinlang.org/docs/exceptions.html#the-nothing-type). In particular, the docs make this point, which I think is very relevant: > When you...