黑客攻击：：[包]

布拉格达:动摇Agda博客的前端

[agpl公司,博客,图书馆,程序][建议标签]
版本[RSS（RSS）] 0.1.0.0,0.1.0.1
更改日志 更改日志.md
依赖关系 伊森,阿格达,基础(>=4.7 && <5),布拉格达,字节删除,容器,目录,mtl公司,胡子,潘多克,潘多克类型,过程,SHA公司,摇,赛博,塔格汤,文本,时间,无序控制器,尿液编码[细节]
许可证 仅AGPL-3.0
版权所有 Amélia Liao、Sandy Maguire
作者 廖美莉（Amélia Liao）
维护人员 sandy@sandymaguire.me
类别 博客
主页 https://github.com/isovector/blagda#自述文件
Bug跟踪器 https://github.com/isovector/blagda/issues
源回购 头部：git克隆https://github.com/isovector/blagda
已上传 通过等向量在2022-03-02T03:00:08Z
分配
可执行程序 布拉格达
下载 总共157个（过去30天内有7个）
额定值 （尚未投票）[估算人贝叶斯平均]
您的评分
  • λ
  • λ
  • λ
状态 可用文档[生成日志]
上次成功报告时间：2022-03-02[所有1个报告]

blagda-0.1.0.1自述文件

[返回包描述]

布拉格达

这是一个Agda/markdown的博客平台，基于1实验室。但我在移植方面做得很糟糕，所以这是一个真是一团糟，对不起。