idris2-extra 我的idris2个人图书馆 这是一个库,因为通常我无法从base / contrib / network / prelude库中找到所需的库,因为:search REPL命令仍在开发中。 我可能在不知不觉中重新发明了轮子。 我打算添加JSON解析器,HTML解析器,最小的af HTTP客户端,不安全的密码学(从cryptonite (一个haskell密码项目)窃取代码,而不编写一百亿个测试),TLS,以及在python / haskell上可以找到的任何东西包索引。 我可能会选择Idris2作为副项目的主要语言。 当前,我不介意某些东西不安全或古怪,我只想能够首先编写一个应用程序。 将来,我会更加重视这一点。 一旦TLS和HTTP实现,我将移植tensorknower69/nhentai和其他的东西来Idris2尽快,因为它们是有用的。 欢迎PR !!!