Targets gnu C extensions if available. Are there many which are both useful, type safe, memory safe and not in LLVM? because I suspect reasoning about back end compiled state is a thing for a strongly typed deterministic language and gnu extensions are funny.

The thing about how its syntactic sugar over pure-ish prolog was fascinating. (Talks about how its self hosted, bootstrapped up from prolog because they could)