Skip to content

History / Types and Programming Languages Chapter 2 Mathematical Preliminaries

Edit page New page

Revisions

  • Updated Types and Programming Languages Chapter 2 Mathematical Preliminaries (markdown)

    @jcoglan jcoglan committed Feb 20, 2017
    6da4a2a

  • Updated Types and Programming Languages Chapter 2 Mathematical Preliminaries (markdown)

    @jcoglan jcoglan committed Feb 20, 2017
    4ee135c

  • Add more complex example

    @tomstuart tomstuart committed Jan 28, 2017
    9ff9a4a

  • Add simple example of proof by ordinary induction on natural numbers

    @tomstuart tomstuart committed Jan 28, 2017
    fe2d15f