【文件属性】：
文件名称：authenticated_data:玩经过身份验证的数据结构
文件大小：12KB
文件格式：ZIP
更新时间：2021-03-15 08:10:40
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)