diff options
author | Nadrieril | 2020-01-24 21:33:21 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-24 21:33:21 +0000 |
commit | b72f0968ac19058b9cc513ab0ed1785133232a3d (patch) | |
tree | 07647b0f0e3e0f9583d06b4fb1210e6c702d535f /dhall/src/semantics/core/value.rs | |
parent | 9e9b556ee2212540ba43d85249df8c763aa6da2b (diff) |
Implement basic typecheck with new approach
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions