1 2 3 4
import Samples.monadic import Samples.sorting import Samples.prime_tactic import Samples.commutativity_tactic