Commit 6eb32579 authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

Typofix in comment

parent 0a12d92a
......@@ -182,7 +182,7 @@ isExprLevPoly = go
Note [Type bindings]
~~~~~~~~~~~~~~~~~~~~
Core does allow type bindings, although such bindings are
not much used, except in the output of the desuguarer.
not much used, except in the output of the desugarer.
Example:
let a = Int in (\x:a. x)
Given this, exprType must be careful to substitute 'a' in the
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment