Permalink
Browse files

fix typo

  • Loading branch information...
jyane committed May 8, 2017
1 parent c0e4b53 commit 4c5f8f29eb3bcba96677975b335a2a6cc6d1f889
Showing with 1 addition and 1 deletion.
  1. +1 −1 CONTRIBUTING.md
View
@@ -251,7 +251,7 @@ kind-projector syntax. Here's some inline syntax examples:
F[X, ?] === ({type l[a] = F[X, a]})#l
F[X, ?, ?] === ({type l[a, b] = F[X, a, b]})#l
If using Lambda Type Function syntax (ie. when the kind-projector's inline syntax is insufficent), use greek letters for
If using Lambda Type Function syntax (ie. when the kind-projector's inline syntax is insufficient), use greek letters for
parameters.
λ[α => (α, α)] === ({type λ[α] = (α, α)})#λ

0 comments on commit 4c5f8f2

Please sign in to comment.