This repository is a static HTML website that serves as a curated, opinionated computer science curriculum guide focused on functional programming, type theory, proof assistants, and the 'computational trinitarianism' philosophy. It contains two exported Org-mode documents: index.html outlines a multi-year study plan covering topics like SICP, Mechanics of Proof (Lean4), principles of functional programming, and category theory; sicp.html provides a detailed walkthrough of SICP exercises with commentary and solutions. The repo does not contain executable code, data pipelines, or any software artifacts—it is purely a knowledge resource and reading list. While well-organized and rich in external references, it offers no reusable components or architectural patterns beyond the HTML presentation.