c_cpp 来自Idris Lightyear的实验笔记

Posted 2021-05-14

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了c_cpp 来自Idris Lightyear的实验笔记相关的知识，希望对你有一定的参考价值。

https://github.com/ziman/lightyear
idris JsonTest.idr -p lightyear -p contrib
parse jsonToplevelValue "{ \"a\": 1, \"b\": 2 }"

以上是关于c_cpp 来自Idris Lightyear的实验笔记的主要内容，如果未能解决你的问题，请参考以下文章