mrsteve

mrsteve has asked 47 questions and find answers to 17 problems.

Stats

About

mrsteve questions

How to plot a (sophisticated) stacked barplot in ggplot2, without complicated manual data aggregation
How to run SAT calls in parallel using the picosat haskell bindings?
quality R code to learn form
Z3py: Convert a Z3 formula to clauses used by picosat
Agda: my code doesn't type check (how to get implicit arguments right?)
Agda: Pair of vectors that have the same length
turn off warning in leksah
Haskell: binding to fast and simple SAT solver
Print Tree with 4 nodes (simple forest) for checking a benchmark
How to generate a random propositional formula (CNF) in haskell?

mrsteve answers

Does Haskell have an equivalent to Sage?
Haskell as REST server
Learning R. Where does one Start? [closed]
Making predictions from a CV
ghc 8.0 cabal build error "ld: -r and -pie may not be used together" known?