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

Merge branch 'master' of github.com:wenkokke/sf

Browse source
This commit is contained in:
wadler 2018-05-04 13:13:42 -03:00
commit b2a1ec5154
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 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. contains about seventy sextillion stars.
But the number of stars is finite, while natural numbers are infinite. But the number of stars is finite, while natural numbers are infinite.