4 ms·

Would you also recommend that book to someone who's not using Haskell/Idris/Scala?

• satvikpendem 4y ago
  Sure, it's the methodology that's important, of making invalid states unrepresentable.