Closed JustusAdam closed 6 years ago
Higher order functions, or rather the lowering from ALang to DFLang should be implemented with a typeclass that ensures that they are correctly handled. Including scoping of free variables and functions without arguments.
ALang
DFLang
Higher order functions, or rather the lowering from
ALang
toDFLang
should be implemented with a typeclass that ensures that they are correctly handled. Including scoping of free variables and functions without arguments.