Skip to content

Commit

Permalink
Uppercase Milner in ch08.md title
Browse files Browse the repository at this point in the history
Milner is proper noun (surname) and seems to have been mistakenly lowercased.
  • Loading branch information
pete-murphy authored Feb 21, 2018
1 parent b15e170 commit 0cdb0ce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ch07.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Chapter 07: Hindley-milner and Me
# Chapter 07: Hindley-Milner and Me

## What's Your Type?
If you're new to the functional world, it won't be long before you find yourself knee deep in type signatures. Types are the meta language that enables people from all different backgrounds to communicate succinctly and effectively. For the most part, they're written with a system called "Hindley-Milner", which we'll be examining together in this chapter.
Expand Down

0 comments on commit 0cdb0ce

Please sign in to comment.