fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard

[Typo] 8.3 Worked Example: Typed Queries - A Universe of Data

Open ashandoak opened this issue 10 months ago • 0 comments

A reference to a function dbEq is made in section A Universe of Data in the following sentence:

The definition of dbEq can be used to define a BEq instance for the types that are coded for by DBType:

The reference should be to the function DBType.beq.

ashandoak avatar Mar 29 '24 05:03 ashandoak