## Recursive Programs

Partial Functions

Partial Functions

Hereditary Termination and Logical Equivalence Recap

An example to start off

This is a project I did in my undergrad, so I might forget some of the details. Also some of the design choices might seen stupid for now, but I am writing t...

Introduction

We can think of category theory as a generalized set theory, where in set theory we have sets and $\in$, but in category theory we have objects and arrows, w...