文件名称：cur:不太灵活的证明助手
文件大小：287KB
文件格式：ZIP
更新时间：2024-05-19 09:08:03
Racket
CUR 一种具有静态依存类型和动态类型，类型注释和括号，定理证明和元编程的语言。 Noun cur (plural curs) 1. (archaic) A mongrel. 2. (archaic) A detestable person. 免责声明 Cur当前处于活跃的黑客环境中，不适合用于任何特定目的。 它充满了难以理解的代码，错误，性能错误和黑手，这些本来不是由合理的人编写的。 这些可能会很快修复，也可能不会很快修复。 版本控制 Cur在Alpha中。 版本号为0.N，其中当API更改或子包取决于新功能时（例如，cur-test取决于先前版本中不存在的功能），N会增加。 入门 简易模式： 您需要至少至少v7.6的球拍 然后，通过raco pkg install cur 。 来在IRC中问问题，在Freenode上#cur 请参阅文档： raco docs cur 。 不幸的