type theory elaboration 1 bidirectional type checking

Name: type theory elaboration 1 bidirectional type checking
Uploaded: Oct 19, 2020
Description: type theory elaboration 1 bidirectional type checking