michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Typo sky for eye.

Browse source
This commit is contained in:
Phil de Joux 2018-05-04 09:44:31 -04:00 committed by GitHub
parent d3ebe58fa1
commit 9a75f3fdc7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Naturals.lagda
View file

@ -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.