John David Stone PGP public key Fingerprint: 4A4E BB81 9F3A 47EB 0043 62D3 B054 0F67 D558 B880 Mastodon Algorithms for Functional Programming Recursive Function Theory Essays