KRC: A programming language </>