Skip to content

Commit

Permalink
Remove misleading link to the Typelevel compiler.
Browse files Browse the repository at this point in the history
  • Loading branch information
erik-stripe committed Sep 10, 2016
1 parent c27334a commit 4e5eda1
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -273,9 +273,6 @@ to define a type lambda the way we use `3 + _` to define a
function. Unfortunately, it's probably too late to modify the meaning
of `_`, which is why we chose to use `?` instead.

*Update: the Typelevel compiler contains a built-in syntax for
[type lambdas!](https://github.com/typelevel/scala/wiki/Differences#type-lambdas)*

### Future Work

As of 0.5.3, kind-projector should be able to support any type lambda
Expand Down

0 comments on commit 4e5eda1

Please sign in to comment.