[exdsq]

My colleagues use Agda but only for things like protocols or core features, Haskell is better for general purpose code