Signature inference for Functional Property Discovery in Haskell
Property based testing for kotlintest ported from quickcheck
Speculate laws about Haskell functions
Bartosz Milewski great book on Category Theory implemented in scala, wit...