search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.06k stars 240 forks source link

Typo in "recursive functions" #328

Closed allen-liaoo closed 1 year ago

allen-liaoo commented 1 year ago

Typo location: https://github.com/OpenLogicProject/OpenLogic/blob/082b087302cffdf7685c99750cc09b39a0f9c9b6/content/computability/recursive-functions/pr-functions.tex#L127

What is the typo:

Prove Proposition 2.5 by showing that the primitive recursive definition of mult is can be put into the form...

Proposed correction:

Prove Proposition 2.5 by showing that the primitive recursive definition of mult can be put into the form...