From 0e3dae99c48a76b47894a83d58f8bc9cf040feff Mon Sep 17 00:00:00 2001
From: Kyle Isom <kyle@imap.cc>
Date: Tue, 18 Oct 2022 19:03:10 -0700
Subject: [PATCH] Initial import.

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..32a301b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+I'm reading _Building High Integrity Applications with Ada and SPARK_ [1].
+
+
+[1] https://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/building-high-integrity-applications-spark?format=PB&isbn=9781107656840