type theory elaboration 4 glued evaluation and approximate conversion checking

Name: type theory elaboration 4 glued evaluation and approximate conversion checking
Uploaded: Nov 21, 2020
Description: type theory elaboration 4 glued evaluation and approximate conversion checking