文件名称：idris2-extra:我的idris2个人图书馆
文件大小：17KB
文件格式：ZIP
更新时间：2024-04-01 13:09:15
Idris
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 ！！！
【文件预览】：
idris2-extra-main
----.gitignore(35B)
----README.md(2KB)
----extra.ipkg(691B)
----libextra.c(228B)
----LICENSE(1KB)
----src()
--------Extra()
----Makefile(112B)