mushroom

mushroom has asked 63 questions and find answers to 1 problems.

Stats

About

mushroom questions

SBT to run Play app exits immediately when started using scala.sys.process.run?
Accessing java member variable that has the name "type"
Using the WebSharper compiler to write Node.js applications [closed]
natToFin when there is evidence that the conversion will work
Force one argument to be greater than another in Idris
Conjunction vs. Implication in Coq
Verify that a method was called using Mockito without specifying arguments
Code reuse in different rspec contexts
Euclidean division on naturals in coq
Maintaining a Nat within a fixed range

mushroom answers

Why don't junit tests get executed with "sbt test"?