Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Plugins
Type checker
notes
notes
· Changes
Page history
Update notes
authored
May 26, 2019
by
nfrisby
Hide whitespace changes
Inline
Side-by-side
plugins/type-checker/notes.md
View page @
9d4d4fbb
...
...
@@ -134,5 +134,7 @@ I plan to migrate more of my notes onto this wiki page.
*
Flattening
*
Zonking
*
Coercions
*
Ambiguity checks
*
Pattern checks (accessibility/reachability)
Please contact me with suggestions: nicolas.frisby@gmail.com.