mrsteve

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

Stats

About

mrsteve questions

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?
Agda: parse a string with numbers
Are there other HOL programming languages besides Caledon that are based on 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?