From 9a75f3fdc764c4ede2a07bc25f3f0284a0986650 Mon Sep 17 00:00:00 2001 From: Phil de Joux Date: Fri, 4 May 2018 09:44:31 -0400 Subject: [PATCH] Typo sky for eye. --- src/Naturals.lagda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Naturals.lagda b/src/Naturals.lagda index ecf4fbda..22cede66 100644 --- a/src/Naturals.lagda +++ b/src/Naturals.lagda @@ -5,7 +5,7 @@ permalink : /Naturals --- The night sky holds more stars than I can count, though less than five -thousand are visible to the naked sky. The observable universe +thousand are visible to the naked eye. The observable universe contains about seventy sextillion stars. But the number of stars is finite, while natural numbers are infinite.