<div dir="ltr">slightly off-topic, but maybe of interest. I think CakeML is (has been) asking this same question too ("CakeML is the best tool for ___?"): <a href="https://groups.google.com/forum/#!topic/idris-lang/xX5rUI1kKMM">https://groups.google.com/forum/#!topic/idris-lang/xX5rUI1kKMM</a><br></div>