新的介绍内容：

rmlHighlight是一款专为Cornell大学3110课程项目LambdaBall设计的RML（RobotML）语法高亮工具。RML语言的语法与OCaml非常相似，rmlHighlight旨在帮助学生和开发者更清晰地阅读和编写RML代码。

主要特点：

• 语法高亮： rmlHighlight通过高亮关键字，帮助用户快速识别RML代码中的重要元素，提高代码可读性。
• 字面模式匹配： 目前，rmlHighlight支持对关键字的字面模式匹配，确保高亮功能的准确性和一致性。
• 适用于LambdaBall项目： 作为Cornell 3110课程的一部分，rmlHighlight特别优化用于LambdaBall项目，帮助学生更好地理解和使用RML语言。

使用场景：

• 教育领域： Cornell 3110课程的学生可以使用rmlHighlight来增强对RML代码的学习和理解。
• 开发环境： 开发者在编写RML代码时，可以借助rmlHighlight提高代码的可读性和维护性。

总结：

rmlHighlight是一款强大且专注的RML语法高亮工具，特别适用于Cornell 3110课程的LambdaBall项目。通过高亮关键字和支持字面模式匹配，rmlHighlight为用户提供了一种高效、清晰的代码阅读和编写体验。