tiny fstar with only one substitution for types and expressions and mutually recursive lambda substitutions.
tiny fstar with only one substitution for types and expressions and mutually recursive lambda substitutions.

hoheinzollern/FStar,hoheinzollern/FStar,YaccConstructor/FStar,FStarLang/FStar,msprotz/FStar,aa755/FStar,msprotz/FStar,MallabaevAzamat/FStar,A-Manning/FStar,MallabaevAzamat/FStar,A-Manning/FStar,FStarLang/FStar,YaccConstructor/FStar,hoheinzollern/FStar,aa755/FStar,YaccConstructor/FStar,YaccConstructor/FStar,msprotz/FStar,aa755/FStar,MallabaevAzamat/FStar,msprotz/FStar,A-Manning/FStar,aa755/FStar,FStarLang/FStar,MallabaevAzamat/FStar,hoheinzollern/FStar