Katahdin: a programming language where syntax, semantics are mutable at runtime
chrisseaton.com