From a3cd36637990d3ce085d7a93f7fed54c791dd63f Mon Sep 17 00:00:00 2001 From: William Ball Date: Sun, 8 Dec 2024 22:00:35 -0800 Subject: [PATCH] updated README --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index efa63b0..48154de 100644 --- a/README.md +++ b/README.md @@ -147,7 +147,8 @@ There are many very well commented examples in the <./examples/> folder. These i - <./examples/logic.pg>, which defines the standard logical operators and proves standard results about them, - <./examples/classical.pg>, which asserts the law of the excluded middle as an axiom, and proves several results that require it, - <./examples/computation.pg>, which demonstrates using `perga` for computational purposes, -- <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them, and +- <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them, +- <./examples/category.pg>, which formalizes some very basic category theory, and - <./examples/peano.pg>, which proves standard arithmetic results from the Peano axioms. I intend to extend these examples further.