diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-20 11:35:52 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:10:39 +0200 |
commit | 31048ad571b8c917a4c67f48899babae0703cae2 (patch) | |
tree | 24d3f0d320ba96aaa7db40bb79bb29bfdae8fc1a /docs | |
parent | 845a5d65796365454ceaaba48603afa07792f7e7 (diff) | |
download | dotty-31048ad571b8c917a4c67f48899babae0703cae2.tar.gz dotty-31048ad571b8c917a4c67f48899babae0703cae2.tar.bz2 dotty-31048ad571b8c917a4c67f48899babae0703cae2.zip |
Rename of hk args HK$x -> hk$x
These are not user-accessible types, so no need to follow
type convention and write in upper case.
Also, rename occurrences of lambda to Lambda, to make clear
we mean a type lambda.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions