Aseem Rastogi
Results
41
comments of
Aseem Rastogi
https://github.com/FStarLang/FStar/blob/fe6dec16fc4f0234663da63de26d9d2e72fe14df/src/typechecker/FStar.TypeChecker.TcTerm.fst#L2466 Also, this is the code in F* that solves the constraints eagerly.