Builtin symbols - runtimeverification/haskell-backend GitHub Wiki

Pull Request #632 is a self-contained example of adding a builtin symbol. When adding a builtin symbol, we should add:

1. An entry to the hooks document.
2. A symbol verifier.
3. An evaluator for concrete arguments (at least).
4. A declaration to Test.Kore.Builtin.Definition.
5. A few tests with different concrete arguments.