idris2-extra 我的idris2个人图书馆 这是一个库，因为通常我无法从base / contrib / network / prelude库中找到所需的库，因为:search REPL命令仍在开发中。 我可能在不知不觉中重新发明了轮子。 我打算添加JSON解析器，HTML解析器，最小的af HTTP客户端，不安全的密码学（从cryptonite （一个haskell密码项目）窃取代码，而不编写一百亿个测试），TLS，以及在python / haskell上可以找到的任何东西包索引