A parsing library and programming language