文件名称:authenticated_data:玩经过身份验证的数据结构
文件大小:12KB
文件格式:ZIP
更新时间:2024-04-04 01:57:20
Idris
authenticated_data 玩经过身份验证的数据结构 从开始,看看在Idris 2中发生了什么。
【文件预览】:
authenticated_data-main
----.gitignore(81B)
----README.md(160B)
----idris-auth.ipkg(35B)
----Auth4.idr(4KB)
----tags(12KB)
----watch_and_learn.sh(580B)
----Auth1.idr(3KB)
----Auth.idr(8KB)
----Auth2.idr(4KB)
----Auth3.idr(7KB)