diff options
| author | NanoTech | 2016-12-08 21:24:26 +0000 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:28 -0600 |
| commit | 1619be740b2a050fd172523226002e9ea141e38b (patch) | |
| tree | 9596ac676310aaf6aed59c035ede2267a30a2fde /src/typecheck.rs | |
| parent | 54064666084d6dfa3eaecb7ba51c09c28b8cf987 (diff) | |
subst: Don't need to match on the left Expr
Diffstat (limited to 'src/typecheck.rs')
0 files changed, 0 insertions, 0 deletions