Back to Fpinscala

03.Answer

answerkey/testing/03.answer.md

latest141 B
Original Source
scala
trait Prop:
  self =>
  def check: Boolean
  def &&(that: Prop): Prop =
    new Prop:
      def check = self.check && that.check