Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | General recursive function: introduction. | David A. Madore | 2023-10-18 | 1 | -4/+231 | |
* | More about primitive recursive functions, and Kleene's recursion theorem. | David A. Madore | 2023-10-17 | 1 | -12/+265 | |
* | Tiding of things to come. | David A. Madore | 2023-10-17 | 1 | -0/+43 | |
* | Primitive recursive functions. | David A. Madore | 2023-10-16 | 1 | -0/+197 | |
* | More slides on intro to computability. | David A. Madore | 2023-10-12 | 1 | -0/+147 | |
* | Initial commit with a basic set of slides. | David A. Madore | 2023-10-12 | 2 | -0/+222 |