summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* General recursive function: introduction.David A. Madore2023-10-181-4/+231
* More about primitive recursive functions, and Kleene's recursion theorem.David A. Madore2023-10-171-12/+265
* Tiding of things to come.David A. Madore2023-10-171-0/+43
* Primitive recursive functions.David A. Madore2023-10-161-0/+197
* More slides on intro to computability.David A. Madore2023-10-121-0/+147
* Initial commit with a basic set of slides.David A. Madore2023-10-122-0/+222