2 ms·Python gives you too little in terms of formal verification. Haskell is hard to map to other langs.by adamnemecek 7y agoPython gives you too little in terms of formal verification. Haskell is hard to map to other langs.