Did I understand correctly that HolyC is a C like dynamic Language with AOT compilation and dynamic binding? Does this mean that functions can be redefined in the REPL while the code is running? Looks like a pretty cool language!