diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-08 17:52:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-08 17:52:00 +0100 |
commit | 9f745338242524c6607fa7b2930157b0c71be939 (patch) | |
tree | 47538e766d412760b2298eaf16ab56589eb772be /AUTHORS.md | |
parent | 0bc9f680af7670985ff10b1e5fa472655745c90b (diff) | |
download | dotty-9f745338242524c6607fa7b2930157b0c71be939.tar.gz dotty-9f745338242524c6607fa7b2930157b0c71be939.tar.bz2 dotty-9f745338242524c6607fa7b2930157b0c71be939.zip |
Refacttored skolemization logic
... into a new trait "Skolemization".
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions