fp-lean
fp-lean copied to clipboard
[Typo] 8.3 Worked Example: Typed Queries - A Universe of Data
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
.