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

Merge pull request #7 from stepchowfun/fewer

Browse source 
Replace 'less' with 'fewer'
This commit is contained in:
wadler 2018-05-07 10:39:38 -03:00 committed by GitHub
commit 8e5f3bfb3a
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

@ -4,7 +4,7 @@ layout : page
permalink : /Naturals 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 fewer than five
thousand are visible to the naked eye. The observable universe thousand are visible to the naked eye. The observable universe
contains about seventy sextillion stars. contains about seventy sextillion stars.