Closed yoshihiro503 closed 5 years ago
LocalFun
Ast.t
func/arity
LocalFun{"func"; arity}
func(args)
App(LocalFun("func", arity), args)
Context.Key
Letrec
Abs
decl_fun
resolved #79
LocalFun
variant to typeAst.t
func/arity
toLocalFun{"func"; arity}
func(args)
toApp(LocalFun("func", arity), args)
LocalFun
variant to typeContext.Key
Letrec
have function abstractionsAbs
,Letrec
anddecl_fun